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>
