diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-02-14 10:15:33 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-02-14 10:50:24 +0100 |
| commit | 32f11445825c86872cee8d1c18e7e86cdf4cc35a (patch) | |
| tree | 3e80819bc3696a022b35284e49d3fe3dfafa5e3a /sci-mathematics | |
| parent | */*: Reassign nativemad's packages (diff) | |
| download | gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.tar.gz gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.tar.bz2 gentoo-32f11445825c86872cee8d1c18e7e86cdf4cc35a.zip | |
*/*: Reassign gienah's packages
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 4 | ||||
| -rw-r--r-- | sci-mathematics/sha1-polyml/metadata.xml | 4 | ||||
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 5 | ||||
| -rw-r--r-- | sci-mathematics/z3/metadata.xml | 3 |
4 files changed, 1 insertions, 15 deletions
diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index aad6aebf1ecc..b94b0418005f 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -1,10 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> <maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> diff --git a/sci-mathematics/sha1-polyml/metadata.xml b/sci-mathematics/sha1-polyml/metadata.xml index f593001d1839..60e7f85a8dc5 100644 --- a/sci-mathematics/sha1-polyml/metadata.xml +++ b/sci-mathematics/sha1-polyml/metadata.xml @@ -1,10 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> <maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index 62f2b95ec8fc..d4994fb246a4 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -1,10 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> + <!-- maintainer-needed --> <longdescription lang="en"> Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 5ab7254e6517..75c04a60e2f4 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -2,9 +2,6 @@ <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> - <email>gienah@gentoo.org</email> - </maintainer> - <maintainer type="person"> <email>mgorny@gentoo.org</email> </maintainer> <maintainer type="project"> |