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/agda | |
| 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/agda')
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 3be3c516b758..787b555ecae4 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -1,8 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> - <herd>haskell</herd> + <maintainer> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +<maintainer> + <email>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> + </maintainer> <longdescription lang="en"> Agda is an interactive proof editor, or proof assistant. Its input language, called Agda language (or simply Agda), is based on a constructive type |