From b94073064ff9ec88d8b92d5402adbc833cb53e47 Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Mon, 17 Jan 2022 22:19:49 +0100 Subject: sci-mathematics/easycrypt: add sci-mathematics to maintainers MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- sci-mathematics/easycrypt/metadata.xml | 4 ++++ 1 file changed, 4 insertions(+) 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 @@ ml@gentoo.org ML + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is -- cgit v1.2.3-65-gdbad