commit: 586be943f77e4b876942a5768b12f4fb4762c2bd
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 17 21:22:51 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jan 17 21:22:51 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=586be943
sci-mathematics/why3: add sci-mathematics to maintainers
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/why3/metadata.xml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/sci-mathematics/why3/metadata.xml
b/sci-mathematics/why3/metadata.xml
index 6c2999e4f4d7..97474dfdb2ec 100644
--- a/sci-mathematics/why3/metadata.xml
+++ b/sci-mathematics/why3/metadata.xml
@@ -10,6 +10,10 @@
<email>[email protected]</email>
<name>ML</name>
</maintainer>
+ <maintainer type="project">
+ <email>[email protected]</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,
