diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:32:36 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:58:38 +0100 |
| commit | cfd93d768e79a349f1e762b92773190295c36980 (patch) | |
| tree | 2239eb163651fea5371739f3e415bc11793ec557 /sci-mathematics/p9m4 | |
| parent | Remove explicit notion of maintainer-needed, for GLEP 67 (diff) | |
| download | gentoo-cfd93d768e79a349f1e762b92773190295c36980.tar.gz gentoo-cfd93d768e79a349f1e762b92773190295c36980.tar.bz2 gentoo-cfd93d768e79a349f1e762b92773190295c36980.zip | |
Replace all herds with appropriate projects (GLEP 67)
Replace all uses of herd with appropriate project maintainers, or no
maintainers in case of herds requested to be disbanded.
Diffstat (limited to 'sci-mathematics/p9m4')
| -rw-r--r-- | sci-mathematics/p9m4/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml index fca084776b1f..0a189139b5de 100644 --- a/sci-mathematics/p9m4/metadata.xml +++ b/sci-mathematics/p9m4/metadata.xml @@ -4,7 +4,10 @@ <maintainer> <email>gienah@gentoo.org</email> </maintainer> -<herd>sci-mathematics</herd> +<maintainer> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> +</maintainer> <longdescription lang="en"> This is a Graphical User Interface for Prover9 and Mace4. Prover9 is an automated theorem prover for first-order and |