[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     5444eba09a932f93a474c81b98b9ab099ca07334
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 20:33:56 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 20:34:35 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5444eba0

sci-mathematics/alt-ergo: maint change: tupone -> ml & sci

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/alt-ergo/metadata.xml | 36 ++++++++++++++++++++---------------
 1 file changed, 21 insertions(+), 15 deletions(-)

diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml
index bd913dcab82d..0892f84cbfc2 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -1,19 +1,25 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
 <pkgmetadata>
-	<maintainer type="person">
-		<email>tupone@gentoo.org</email>
-		<name>Tupone Alfredo</name>
-	</maintainer>
-	<longdescription lang="en">
-		Alt-Ergo is an open-source automatic solver of mathematical formulas
-		designed for program verification. It is based on Satisfiability Modulo
-		Theories (SMT). Solvers of this family have made impressive advances
-		and became very popular during the last decade. They are now used is
-		various domains such as hardware design, software verification and
-		formal testing.
-	</longdescription>
-	<upstream>
-		<remote-id type="github">OCamlPro/alt-ergo</remote-id>
-	</upstream>
+  <maintainer type="project">
+    <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>
+    Alt-Ergo is an open-source automatic solver of mathematical formulas
+    designed for program verification. It is based on Satisfiability Modulo
+    Theories (SMT). Solvers of this family have made impressive advances
+    and became very popular during the last decade. They are now used is
+    various domains such as hardware design, software verification and
+    formal testing.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to>
+    <remote-id type="github">OCamlPro/alt-ergo</remote-id>
+  </upstream>
 </pkgmetadata>