[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/lean/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     7e5d10a3e0e87195d5215a0c23e22fb63ce5df28
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jan  2 21:46:04 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jan  2 21:48:50 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e5d10a3

sci-mathematics/lean: update XML metadata

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/lean/metadata.xml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml
index ddb0be8a571c..c43ac3a1bfb1 100644
--- a/sci-mathematics/lean/metadata.xml
+++ b/sci-mathematics/lean/metadata.xml
@@ -8,10 +8,15 @@
   </maintainer>
   <longdescription>
     The Lean theorem prover is a proof assistant developed principally
-    by Leonardo de Moura at Microsoft Research.
+    by Leonardo de Moura at Microsoft Research.  Lean is a functional
+    programming language that makes it easy to write correct and
+    maintainable code. You can also use Lean as an interactive theorem
+    prover. Lean programming primarily involves defining types and
+    functions. This allows your focus to remain on the problem domain and
+    manipulating its data, rather than the details of programming.
   </longdescription>
   <upstream>
-    <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to>
-    <remote-id type="github">leanprover-community/lean</remote-id>
+    <bugs-to>https://github.com/leanprover/lean4/issues</bugs-to>
+    <remote-id type="github">leanprover/lean4</remote-id>
   </upstream>
 </pkgmetadata>