summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-01-17 22:19:49 +0100
committerMaciej Barć <xgqt@gentoo.org>2022-01-17 22:21:07 +0100
commitb94073064ff9ec88d8b92d5402adbc833cb53e47 (patch)
treebff2e170388e7c6774408fc3ffd323f0b3058eb2 /sci-mathematics/easycrypt
parentapp-emulation/protontricks: add 1.7.0 (diff)
downloadgentoo-b94073064ff9ec88d8b92d5402adbc833cb53e47.tar.gz
gentoo-b94073064ff9ec88d8b92d5402adbc833cb53e47.tar.bz2
gentoo-b94073064ff9ec88d8b92d5402adbc833cb53e47.zip
sci-mathematics/easycrypt: add sci-mathematics to maintainers
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/easycrypt')
-rw-r--r--sci-mathematics/easycrypt/metadata.xml4
1 files changed, 4 insertions, 0 deletions
diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml
index 08fb88e8b7d7..4bb2827b5487 100644
--- a/sci-mathematics/easycrypt/metadata.xml
+++ b/sci-mathematics/easycrypt/metadata.xml
@@ -6,6 +6,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>
EasyCrypt is a toolset for reasoning about relational properties of
probabilistic computations with adversarial code. Its main application is