summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-01-17 22:22:51 +0100
committerMaciej Barć <xgqt@gentoo.org>2022-01-17 22:22:51 +0100
commit586be943f77e4b876942a5768b12f4fb4762c2bd (patch)
tree4e7adc2e03b10426c9946897b587e5116402c89f
parentsci-mathematics/easycrypt: add sci-mathematics to maintainers (diff)
downloadgentoo-586be943f77e4b876942a5768b12f4fb4762c2bd.tar.gz
gentoo-586be943f77e4b876942a5768b12f4fb4762c2bd.tar.bz2
gentoo-586be943f77e4b876942a5768b12f4fb4762c2bd.zip
sci-mathematics/why3: add sci-mathematics to maintainers
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
-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,