aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/gappalib-coq/metadata.xml')
-rw-r--r--sci-mathematics/gappalib-coq/metadata.xml5
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml
index 657327897..9efd8af5e 100644
--- a/sci-mathematics/gappalib-coq/metadata.xml
+++ b/sci-mathematics/gappalib-coq/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>sci-mathematics</herd>
+<maintainer>
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+</maintainer>
<longdescription>
While Gappa is intended to be used directly, it can also act as a
backend prover for the Why software verification plateform or as an