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/nusmv | |
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/nusmv')
-rw-r--r-- | sci-mathematics/nusmv/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/nusmv/metadata.xml b/sci-mathematics/nusmv/metadata.xml index da589122a2f..0664e576561 100644 --- a/sci-mathematics/nusmv/metadata.xml +++ b/sci-mathematics/nusmv/metadata.xml @@ -1,10 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> <maintainer> <email>robbat2@gentoo.org</email> </maintainer> + <maintainer> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> <use> <flag name="minisat">Enable support for MiniSat</flag> </use> |