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/e | |
| 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/e')
| -rw-r--r-- | sci-mathematics/e/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/e/metadata.xml b/sci-mathematics/e/metadata.xml index 775fe11dec03..42b3b7d725c9 100644 --- a/sci-mathematics/e/metadata.xml +++ b/sci-mathematics/e/metadata.xml @@ -5,7 +5,10 @@ <email>gienah@gentoo.org</email> <name>Mark Wright</name> </maintainer> -<herd>sci-mathematics</herd> +<maintainer> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> +</maintainer> <longdescription lang="en"> E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of |