summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sci-mathematics/why3/metadata.xml4
1 files changed, 4 insertions, 0 deletions
diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml
index 6c2999e4f4d..97474dfdb2e 100644
--- a/sci-mathematics/why3/metadata.xml
+++ b/sci-mathematics/why3/metadata.xml
@@ -10,6 +10,10 @@
<email>ml@gentoo.org</email>
<name>ML</name>
</maintainer>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
<longdescription>
Why3 is a platform for deductive program verification. It provides
a rich language for specification and programming, called WhyML,