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/cvc3 | |
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/cvc3')
-rw-r--r-- | sci-mathematics/cvc3/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/cvc3/metadata.xml b/sci-mathematics/cvc3/metadata.xml index 2f5473a5364..484f9ab4323 100644 --- a/sci-mathematics/cvc3/metadata.xml +++ b/sci-mathematics/cvc3/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"> CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the |