summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2021-12-27 21:33:56 +0100
committerMaciej Barć <xgqt@gentoo.org>2021-12-27 21:34:35 +0100
commit5444eba09a932f93a474c81b98b9ab099ca07334 (patch)
treefc43e3f6287b0eca126d6a4076dd8461a3369184 /sci-mathematics/alt-ergo
parentmedia-video/droidcam: add missing kernel config to CONFIG_CHECK (diff)
downloadgentoo-5444eba09a932f93a474c81b98b9ab099ca07334.tar.gz
gentoo-5444eba09a932f93a474c81b98b9ab099ca07334.tar.bz2
gentoo-5444eba09a932f93a474c81b98b9ab099ca07334.zip
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
-rw-r--r--sci-mathematics/alt-ergo/metadata.xml36
1 files 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>