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/coq | |
| parent | 54abd8ef454d94e71828d9841d045b8c58a58987 (diff) | |
| download | gentoo-cfd93d768e79a349f1e762b92773190295c36980.tar.gz gentoo-cfd93d768e79a349f1e762b92773190295c36980.tar.xz | |
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/coq')
| -rw-r--r-- | sci-mathematics/coq/metadata.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml index 2fbebc05a0d..1fbb0185739 100644 --- a/sci-mathematics/coq/metadata.xml +++ b/sci-mathematics/coq/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>ml</herd> - <herd>sci-mathematics</herd> + <maintainer> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <maintainer> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> <longdescription lang="en"> Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked |