diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2025-01-02 22:46:04 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-01-02 22:48:50 +0100 |
| commit | 7e5d10a3e0e87195d5215a0c23e22fb63ce5df28 (patch) | |
| tree | 4e602da65058f7b653ec61a03dbda633ddac8cf0 /sci-mathematics | |
| parent | profiles/package.mask: mask lean 3 and mathlib-tools (diff) | |
| download | gentoo-7e5d10a3e0e87195d5215a0c23e22fb63ce5df28.tar.gz gentoo-7e5d10a3e0e87195d5215a0c23e22fb63ce5df28.tar.bz2 gentoo-7e5d10a3e0e87195d5215a0c23e22fb63ce5df28.zip | |
sci-mathematics/lean: update XML metadata
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/lean/metadata.xml | 11 |
1 files 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> |