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/kodkod | |
| 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/kodkod')
| -rw-r--r-- | sci-mathematics/kodkod/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/kodkod/metadata.xml b/sci-mathematics/kodkod/metadata.xml index ff1b15318b9c..77f4a8a03d3c 100644 --- a/sci-mathematics/kodkod/metadata.xml +++ b/sci-mathematics/kodkod/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"> Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive closure, bit-vector arithmetic, and |