From 8b85856dcd4edbdd12493acf2189c98e0e45d046 Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Sat, 25 Dec 2021 21:39:39 +0100 Subject: sci-mathematics/verit: change maintainer to Gentoo Mathematics Project MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć --- sci-mathematics/verit/metadata.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'sci-mathematics') diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml index cd0a6cfe1019..de5342d8a613 100644 --- a/sci-mathematics/verit/metadata.xml +++ b/sci-mathematics/verit/metadata.xml @@ -2,9 +2,9 @@ - - xgqt@gentoo.org - Maciej Barć + + sci-mathematics@gentoo.org + Gentoo Mathematics Project veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, -- cgit v1.2.3-65-gdbad