diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-12-25 21:06:33 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-12-25 21:06:33 +0000 |
| commit | 09036398b064f347175c71d8310fc3409787be13 (patch) | |
| tree | b2a6f4a6633d4e1e9d165f76936b3d34406fb628 | |
| parent | 2021-12-25 20:51:41 UTC (diff) | |
| parent | sci-mathematics/lean: change maintainer to Gentoo Mathematics Project (diff) | |
| download | gentoo-09036398b064f347175c71d8310fc3409787be13.tar.gz gentoo-09036398b064f347175c71d8310fc3409787be13.tar.bz2 gentoo-09036398b064f347175c71d8310fc3409787be13.zip | |
Merge updates from master
| -rw-r--r-- | sci-mathematics/lean/metadata.xml | 8 | ||||
| -rw-r--r-- | sci-mathematics/mathlib-tools/metadata.xml | 8 | ||||
| -rw-r--r-- | sci-mathematics/metamath/metadata.xml | 8 | ||||
| -rw-r--r-- | sci-mathematics/vampire/metadata.xml | 6 | ||||
| -rw-r--r-- | sci-mathematics/verit/metadata.xml | 6 |
5 files changed, 18 insertions, 18 deletions
diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml index 278e5b1a42a2..efbd9f15e639 100644 --- a/sci-mathematics/lean/metadata.xml +++ b/sci-mathematics/lean/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. </longdescription> diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml index f91e58a755f7..9859ea5c8b42 100644 --- a/sci-mathematics/mathlib-tools/metadata.xml +++ b/sci-mathematics/mathlib-tools/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> This package contains leanproject, a supporting tool for Lean mathlib. More info: - https://leanprover-community.github.io/toolchain.html#handling-dependencies diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml index 824d79b7b66d..7107a9aad059 100644 --- a/sci-mathematics/metamath/metadata.xml +++ b/sci-mathematics/metamath/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml index 4785a01c9b05..b290952a34d5 100644 --- a/sci-mathematics/vampire/metadata.xml +++ b/sci-mathematics/vampire/metadata.xml @@ -2,9 +2,9 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> Vampire is a theorem prover, that is, a system able to prove theorems — diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml index cd0a6cfe1019..de5342d8a613 100644 --- a/sci-mathematics/verit/metadata.xml +++ b/sci-mathematics/verit/metadata.xml @@ -2,9 +2,9 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, |