diff options
Diffstat (limited to 'sci-mathematics')
148 files changed, 1731 insertions, 1664 deletions
diff --git a/sci-mathematics/4ti2/metadata.xml b/sci-mathematics/4ti2/metadata.xml index a92d1ee2dea2..d9dd24cced11 100644 --- a/sci-mathematics/4ti2/metadata.xml +++ b/sci-mathematics/4ti2/metadata.xml @@ -1,14 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> 4ti2 is a software package for algebraic, geometric and combinatorial problems on linear spaces and for toric ideals too. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">4ti2/4ti2</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/abc/metadata.xml b/sci-mathematics/abc/metadata.xml index 9334c2d37f42..dc9439f27baf 100644 --- a/sci-mathematics/abc/metadata.xml +++ b/sci-mathematics/abc/metadata.xml @@ -1,19 +1,20 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. </longdescription> - <upstream> - <bugs-to>https://github.com/berkeley-abc/abc/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/berkeley-abc/abc/issues/</bugs-to> + <remote-id type="github">berkeley-abc/abc</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index ec6fb9078799..df9ae811037d 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -1,19 +1,20 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award. </longdescription> - <upstream> - <bugs-to>https://github.com/acl2/acl2/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/acl2/acl2/issues/</bugs-to> + <remote-id type="github">acl2/acl2</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/alectryon/metadata.xml b/sci-mathematics/alectryon/metadata.xml index 9b28f4c97389..67c427e81f35 100644 --- a/sci-mathematics/alectryon/metadata.xml +++ b/sci-mathematics/alectryon/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> A library to process Coq and Lean snippets embedded in text documents, showing goals and messages for each input sentence. Also a literate programming toolkit. The goal of Alectryon is to make it easy to write @@ -14,9 +15,9 @@ Alectryon originally supported Coq only. Support for Lean is preliminary and restricted to Lean 3. </longdescription> - <upstream> - <changelog>https://github.com/cpitclaudel/alectryon/releases/</changelog> - <bugs-to>https://github.com/cpitclaudel/alectryon/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <changelog>https://github.com/cpitclaudel/alectryon/releases/</changelog> + <bugs-to>https://github.com/cpitclaudel/alectryon/issues/</bugs-to> + <remote-id type="github">cpitclaudel/alectryon</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index c7d0546b66f7..0892f84cbfc2 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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 @@ -17,8 +18,8 @@ various domains such as hardware design, software verification and formal testing. </longdescription> - <upstream> - <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to> + <remote-id type="github">OCamlPro/alt-ergo</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/arb/metadata.xml b/sci-mathematics/arb/metadata.xml index 4cfa9c75180a..855895d0b07c 100644 --- a/sci-mathematics/arb/metadata.xml +++ b/sci-mathematics/arb/metadata.xml @@ -1,28 +1,29 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> Arb is a C library for arbitrary-precision interval arithmetic, using a midpoint-radius representation (“ball arithmetic”). It supports real and complex numbers, polynomials, power series, matrices, and evaluation of many transcendental functions. All operations are done with automatic, rigorous error bounds. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">fredrik-johansson/arb</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/bertini/metadata.xml b/sci-mathematics/bertini/metadata.xml index 9163455bfc4d..bb0820942cf0 100644 --- a/sci-mathematics/bertini/metadata.xml +++ b/sci-mathematics/bertini/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Bertini: Software for Numerical Algebraic Geometry Facts in brief: @@ -19,9 +19,7 @@ Facts in brief: Background: Bertini is a general-purpose solver, written in C, that was created for research about polynomial continuation. </longdescription> - - <use> - <flag name="optimization">Accept upstream's choices for -O option.</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="optimization">Accept upstream's choices for -O option.</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/btor2tools/metadata.xml b/sci-mathematics/btor2tools/metadata.xml index 5da90c183519..237d97fb7791 100644 --- a/sci-mathematics/btor2tools/metadata.xml +++ b/sci-mathematics/btor2tools/metadata.xml @@ -1,12 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <bugs-to>https://github.com/Boolector/btor2tools/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/Boolector/btor2tools/issues/</bugs-to> + <remote-id type="github">Boolector/btor2tools</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cadabra/metadata.xml b/sci-mathematics/cadabra/metadata.xml index dbbde03cc53d..372b6a2d1f8a 100644 --- a/sci-mathematics/cadabra/metadata.xml +++ b/sci-mathematics/cadabra/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Cadabra is a symbolic computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor computer algebra, tensor polynomial simplification @@ -16,13 +17,13 @@ Both a command-line and a graphical notebook interface are available, and you can also use Cadabra from Jupyter by using the Cadabra Jupyter kernel. </longdescription> - <upstream> - <changelog>https://github.com/kpeeters/cadabra2/releases/</changelog> - <bugs-to>https://github.com/kpeeters/cadabra2/issues/</bugs-to> - <doc lang="en">https://cadabra.science/man.html</doc> - </upstream> - <use> - <flag name="jupyter">Build the Cadabra Jupyter kernel</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <changelog>https://github.com/kpeeters/cadabra2/releases/</changelog> + <bugs-to>https://github.com/kpeeters/cadabra2/issues/</bugs-to> + <remote-id type="github">kpeeters/cadabra2</remote-id> + <doc lang="en">https://cadabra.science/man.html</doc> + </upstream> + <use> + <flag name="jupyter">Build the Cadabra Jupyter kernel</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/cadical/metadata.xml b/sci-mathematics/cadical/metadata.xml index b15f2c9816c8..7cac34b62a52 100644 --- a/sci-mathematics/cadical/metadata.xml +++ b/sci-mathematics/cadical/metadata.xml @@ -1,16 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change. </longdescription> - <upstream> - <bugs-to>https://github.com/arminbiere/cadical/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/arminbiere/cadical/issues/</bugs-to> + <remote-id type="github">arminbiere/cadical</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/calc/metadata.xml b/sci-mathematics/calc/metadata.xml index dc20c0eaaacd..b1b9bee4e654 100644 --- a/sci-mathematics/calc/metadata.xml +++ b/sci-mathematics/calc/metadata.xml @@ -1,17 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Calc is an interactive calculator which provides for easy large numeric calculations, but which also can be easily programmed for difficult or long calculations. It can accept a command line argument, in which case it executes that single command and exits. Otherwise, it enters interactive mode. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="sourceforge">calc</remote-id> + <remote-id type="github">lcn2/calc</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cgal/metadata.xml b/sci-mathematics/cgal/metadata.xml index afe0a99eee54..b0571510639e 100644 --- a/sci-mathematics/cgal/metadata.xml +++ b/sci-mathematics/cgal/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> The Computational Geometry Algorithms Library is a collaborative open source library containing: * the Kernel with geometric primitives such as points, vectors, @@ -18,6 +18,7 @@ * the Support Library which offers interfaces to other packages, e.g., for visualisation, and I/O, and other support facilities. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">CGAL/cgal</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/clipper2/metadata.xml b/sci-mathematics/clipper2/metadata.xml index 6e0463ad6f9b..fda0c60d4c9e 100644 --- a/sci-mathematics/clipper2/metadata.xml +++ b/sci-mathematics/clipper2/metadata.xml @@ -1,14 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>negril.nx+gentoo@gmail.com</email> - <name>Paul Zander</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person" proxied="yes"> + <email>negril.nx+gentoo@gmail.com</email> + <name>Paul Zander</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <upstream> + <remote-id type="github">AngusJohnson/Clipper2</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cliquer/metadata.xml b/sci-mathematics/cliquer/metadata.xml index 50da6f841e7c..bf710d6dbdca 100644 --- a/sci-mathematics/cliquer/metadata.xml +++ b/sci-mathematics/cliquer/metadata.xml @@ -1,17 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <upstream> + <remote-id type="github">dimpase/autocliquer</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/coq-mathcomp/metadata.xml b/sci-mathematics/coq-mathcomp/metadata.xml index ce63fc1fd7ec..b379637e4ab6 100644 --- a/sci-mathematics/coq-mathcomp/metadata.xml +++ b/sci-mathematics/coq-mathcomp/metadata.xml @@ -1,13 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <changelog>https://github.com/math-comp/math-comp/releases/</changelog> - <bugs-to>https://github.com/math-comp/math-comp/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <changelog>https://github.com/math-comp/math-comp/releases/</changelog> + <bugs-to>https://github.com/math-comp/math-comp/issues/</bugs-to> + <remote-id type="github">math-comp/math-comp</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/coq-serapi/metadata.xml b/sci-mathematics/coq-serapi/metadata.xml index 3d464889b160..fd440ed6e397 100644 --- a/sci-mathematics/coq-serapi/metadata.xml +++ b/sci-mathematics/coq-serapi/metadata.xml @@ -1,20 +1,21 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality. </longdescription> - <upstream> - <changelog>https://github.com/ejgallego/coq-serapi/releases/</changelog> - <bugs-to>https://github.com/ejgallego/coq-serapi/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <changelog>https://github.com/ejgallego/coq-serapi/releases/</changelog> + <bugs-to>https://github.com/ejgallego/coq-serapi/issues/</bugs-to> + <remote-id type="github">ejgallego/coq-serapi</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/coq-stdlib/metadata.xml b/sci-mathematics/coq-stdlib/metadata.xml index 5252e444bd16..e72497feaa2d 100644 --- a/sci-mathematics/coq-stdlib/metadata.xml +++ b/sci-mathematics/coq-stdlib/metadata.xml @@ -1,13 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <changelog>https://github.com/coq/stdlib/releases/</changelog> - <bugs-to>https://github.com/coq/stdlib/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <changelog>https://github.com/coq/stdlib/releases/</changelog> + <bugs-to>https://github.com/coq/stdlib/issues/</bugs-to> + <remote-id type="github">coq/stdlib</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml index ce534d8bb68b..6c71a7b57166 100644 --- a/sci-mathematics/coq/metadata.xml +++ b/sci-mathematics/coq/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. @@ -20,14 +21,14 @@ Constructions" extended by a modular development system for theories. </longdescription> - <upstream> - <changelog>https://github.com/rocq-prover/rocq/releases/</changelog> - <bugs-to>https://github.com/rocq-prover/rocq/issues/</bugs-to> - </upstream> - <use> - <flag name="native-compiler"> + <upstream> + <changelog>https://github.com/rocq-prover/rocq/releases/</changelog> + <bugs-to>https://github.com/rocq-prover/rocq/issues/</bugs-to> + <remote-id type="github">rocq-prover/rocq</remote-id> + </upstream> + <use> + <flag name="native-compiler"> Enable "native_compute" and compile the Coq Standard Library </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> +</pkgmetadata> diff --git a/sci-mathematics/cryptominisat/metadata.xml b/sci-mathematics/cryptominisat/metadata.xml index 210247ab0735..694a2c352cda 100644 --- a/sci-mathematics/cryptominisat/metadata.xml +++ b/sci-mathematics/cryptominisat/metadata.xml @@ -1,19 +1,20 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> This system provides CryptoMiniSat, an advanced incremental SAT solver. The system has 3 interfaces: command-line, C++ library and python. The command-line interface takes a cnf as an input in the DIMACS format with the extension of XOR clauses. The C++ and python interface mimics this and also allows for incremental use: assumptions and multiple solve calls. </longdescription> - <upstream> - <bugs-to>https://github.com/msoos/cryptominisat/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/msoos/cryptominisat/issues/</bugs-to> + <remote-id type="github">msoos/cryptominisat</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cubicle/metadata.xml b/sci-mathematics/cubicle/metadata.xml index 4c5e098faba1..d3a0058bc0c9 100644 --- a/sci-mathematics/cubicle/metadata.xml +++ b/sci-mathematics/cubicle/metadata.xml @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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> Cubicle is an open source model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed @@ -23,8 +24,8 @@ tightly integrated, lightweight and enhanced version of Alt-Ergo; and its parallel implementation relies on the Functory library. </longdescription> - <upstream> - <bugs-to>https://github.com/cubicle-model-checker/cubicle/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/cubicle-model-checker/cubicle/issues/</bugs-to> + <remote-id type="github">cubicle-model-checker/cubicle</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cudd/metadata.xml b/sci-mathematics/cudd/metadata.xml index ad1b3efa4ef4..63814133765d 100644 --- a/sci-mathematics/cudd/metadata.xml +++ b/sci-mathematics/cudd/metadata.xml @@ -1,15 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <longdescription> CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs). </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 352fef95c3aa..ca72f05fd75d 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -1,21 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!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"> + <maintainer type="person"> + <email>tupone@gentoo.org</email> + <name>Tupone Alfredo</name> + </maintainer> + <use> + <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> + <flag name="statistics">Include statistics</flag> + <flag name="proofs">Support for proof generation</flag> + </use> + <longdescription lang="en"> CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. </longdescription> - - <use> - <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> - <flag name="statistics">Include statistics</flag> - <flag name="proofs">Support for proof generation</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">CVC4/CVC4-archived</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/dataplot/metadata.xml b/sci-mathematics/dataplot/metadata.xml index 0cb9ee0d6353..c389ac17a3ac 100644 --- a/sci-mathematics/dataplot/metadata.xml +++ b/sci-mathematics/dataplot/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Dataplot is a software system for scientific visualization, statistical analysis, and non-linear modeling. The target Dataplot user is the researcher and analyst engaged in the characterization, @@ -13,6 +13,4 @@ scientific and engineering processes (original version:1978). Gentoo version adds autotools to facilitate building and robustness. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/dsfmt/metadata.xml b/sci-mathematics/dsfmt/metadata.xml index d5eee945e020..cf6d44a6b023 100644 --- a/sci-mathematics/dsfmt/metadata.xml +++ b/sci-mathematics/dsfmt/metadata.xml @@ -1,19 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <maintainer type="person"> - <email>jeffrey@icurse.nl</email> - <name>Jeffrey Lin</name> - </maintainer> - <maintainer type="person"> - <email>tamiko@gentoo.org</email> - <name>Matthias Maier</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <maintainer type="person" proxied="yes"> + <email>jeffrey@icurse.nl</email> + <name>Jeffrey Lin</name> + </maintainer> + <maintainer type="person" proxied="proxy"> + <email>tamiko@gentoo.org</email> + <name>Matthias Maier</name> + </maintainer> + <longdescription lang="en"> The purpose of Double precision SIMD-oriented Fast Mersenne Twister (dSFMT) is to speed up the generation by avoiding the expensive conversion of integer to double (floating point). dSFMT directly generates @@ -22,6 +22,4 @@ 754-1985) format. dSFMT is only available on the CPUs which use IEEE 754 format double precision floating point numbers. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/dunshire/metadata.xml b/sci-mathematics/dunshire/metadata.xml index d227de6c86d7..f2908ee10b59 100644 --- a/sci-mathematics/dunshire/metadata.xml +++ b/sci-mathematics/dunshire/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - <name>Michael Orlitzky</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + <name>Michael Orlitzky</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml index b38651099f21..f874f218f5cd 100644 --- a/sci-mathematics/easycrypt/metadata.xml +++ b/sci-mathematics/easycrypt/metadata.xml @@ -1,21 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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> EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. </longdescription> - <upstream> - <bugs-to>https://github.com/EasyCrypt/easycrypt/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/EasyCrypt/easycrypt/issues/</bugs-to> + <remote-id type="github">EasyCrypt/easycrypt</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/eclib/metadata.xml b/sci-mathematics/eclib/metadata.xml index 04e2bf89e893..bafd287b21ed 100644 --- a/sci-mathematics/eclib/metadata.xml +++ b/sci-mathematics/eclib/metadata.xml @@ -1,29 +1,39 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="boost"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <use> + <flag name="boost"> Add parallel capabilities using <pkg>dev-libs/boost</pkg>. </flag> - <flag name="flint"> + + <flag name="flint"> Enable the use of <pkg>sci-mathematics/flint</pkg> for certain operations. </flag> - <flag name="minimal"> + + <flag name="minimal"> Build only the "mwrank" program. </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + + <upstream> + <remote-id type="github">JohnCremona/eclib</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/ent/metadata.xml b/sci-mathematics/ent/metadata.xml index 1653416a6967..098312eeb426 100644 --- a/sci-mathematics/ent/metadata.xml +++ b/sci-mathematics/ent/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/eprover/metadata.xml b/sci-mathematics/eprover/metadata.xml index 0931c118881d..9a9970613884 100644 --- a/sci-mathematics/eprover/metadata.xml +++ b/sci-mathematics/eprover/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full @@ -20,11 +21,11 @@ powerful and friendly reasoning systems for first-order logic. The prover has successfully participated in many competitions. </longdescription> - <upstream> - <bugs-to>https://github.com/eprover/eprover/issues/</bugs-to> - </upstream> - <use> - <flag name="ho">enable support for higher-order logic</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="ho">enable support for higher-order logic</flag> + </use> + <upstream> + <bugs-to>https://github.com/eprover/eprover/issues/</bugs-to> + <remote-id type="github">eprover/eprover</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/euler/metadata.xml b/sci-mathematics/euler/metadata.xml index 1653416a6967..33b5e9ecc3f0 100644 --- a/sci-mathematics/euler/metadata.xml +++ b/sci-mathematics/euler/metadata.xml @@ -1,10 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <remote-id type="sourceforge">euler</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/fann/metadata.xml b/sci-mathematics/fann/metadata.xml index f168b946fa73..31486385e4c3 100644 --- a/sci-mathematics/fann/metadata.xml +++ b/sci-mathematics/fann/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Fast Artificial Neural Network Library implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in both fixed and floating @@ -13,6 +13,7 @@ training data sets. It is easy to use, versatile, well documented, and fast. Delphi, PHP, Python and other bindings are available. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="sourceforge">fann</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/flint/metadata.xml b/sci-mathematics/flint/metadata.xml index 964931559b7c..f81d57c15e11 100644 --- a/sci-mathematics/flint/metadata.xml +++ b/sci-mathematics/flint/metadata.xml @@ -1,20 +1,23 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="ntl">Build NTL interface</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <upstream> + <remote-id type="github">flintlib/flint</remote-id> + </upstream> + <use> + <flag name="ntl">Build NTL interface</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml index a1475b5633e4..4514b79800af 100644 --- a/sci-mathematics/flocq/metadata.xml +++ b/sci-mathematics/flocq/metadata.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Flocq (Floats for Coq) is a formalization of floating-point arithmetic for the Coq proof assistant. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq. </longdescription> - <upstream> - <bugs-to>https://gitlab.inria.fr/flocq/flocq/-/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://gitlab.inria.fr/flocq/flocq/-/issues/</bugs-to> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/form/metadata.xml b/sci-mathematics/form/metadata.xml index ce1ee925b345..72935f506fe1 100644 --- a/sci-mathematics/form/metadata.xml +++ b/sci-mathematics/form/metadata.xml @@ -1,20 +1,21 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>grozin@gentoo.org</email> - <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <use> - <flag name="devref">Build and install developers reference</flag> - <flag name="doxygen">Build and install API documentation</flag> - <flag name="flint">Use sci-mathematics/flint for fast polynomial arithmetics</flag> - <flag name="mpfr">Use dev-libs/mpfr for multiple-precision floats</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>grozin@gentoo.org</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="devref">Build and install developers reference</flag> + <flag name="doxygen">Build and install API documentation</flag> + <flag name="flint">Use sci-mathematics/flint for fast polynomial arithmetics</flag> + <flag name="mpfr">Use dev-libs/mpfr for multiple-precision floats</flag> + </use> + <upstream> + <remote-id type="github">vermaseren/form</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-aorai/metadata.xml b/sci-mathematics/frama-c-aorai/metadata.xml index 642180f639e8..30c042c394a0 100644 --- a/sci-mathematics/frama-c-aorai/metadata.xml +++ b/sci-mathematics/frama-c-aorai/metadata.xml @@ -1,9 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <use> - <flag name="eva">Build support for the Eva plugin</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> + <use> + <flag name="eva">Build support for the Eva plugin</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-callgraph/metadata.xml b/sci-mathematics/frama-c-callgraph/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-callgraph/metadata.xml +++ b/sci-mathematics/frama-c-callgraph/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-constant-folding/metadata.xml b/sci-mathematics/frama-c-constant-folding/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-constant-folding/metadata.xml +++ b/sci-mathematics/frama-c-constant-folding/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-dive/metadata.xml b/sci-mathematics/frama-c-dive/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-dive/metadata.xml +++ b/sci-mathematics/frama-c-dive/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-e-acsl/metadata.xml b/sci-mathematics/frama-c-e-acsl/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-e-acsl/metadata.xml +++ b/sci-mathematics/frama-c-e-acsl/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-eva/metadata.xml b/sci-mathematics/frama-c-eva/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-eva/metadata.xml +++ b/sci-mathematics/frama-c-eva/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-from/metadata.xml b/sci-mathematics/frama-c-from/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-from/metadata.xml +++ b/sci-mathematics/frama-c-from/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-impact/metadata.xml b/sci-mathematics/frama-c-impact/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-impact/metadata.xml +++ b/sci-mathematics/frama-c-impact/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-inout/metadata.xml b/sci-mathematics/frama-c-inout/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-inout/metadata.xml +++ b/sci-mathematics/frama-c-inout/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-instantiate/metadata.xml b/sci-mathematics/frama-c-instantiate/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-instantiate/metadata.xml +++ b/sci-mathematics/frama-c-instantiate/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-loopanalysis/metadata.xml b/sci-mathematics/frama-c-loopanalysis/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-loopanalysis/metadata.xml +++ b/sci-mathematics/frama-c-loopanalysis/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-metrics/metadata.xml b/sci-mathematics/frama-c-metrics/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-metrics/metadata.xml +++ b/sci-mathematics/frama-c-metrics/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-nonterm/metadata.xml b/sci-mathematics/frama-c-nonterm/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-nonterm/metadata.xml +++ b/sci-mathematics/frama-c-nonterm/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-obfuscator/metadata.xml b/sci-mathematics/frama-c-obfuscator/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-obfuscator/metadata.xml +++ b/sci-mathematics/frama-c-obfuscator/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-occurrence/metadata.xml b/sci-mathematics/frama-c-occurrence/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-occurrence/metadata.xml +++ b/sci-mathematics/frama-c-occurrence/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-pdg/metadata.xml b/sci-mathematics/frama-c-pdg/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-pdg/metadata.xml +++ b/sci-mathematics/frama-c-pdg/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-postdominators/metadata.xml b/sci-mathematics/frama-c-postdominators/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-postdominators/metadata.xml +++ b/sci-mathematics/frama-c-postdominators/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-printapi/metadata.xml b/sci-mathematics/frama-c-printapi/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-printapi/metadata.xml +++ b/sci-mathematics/frama-c-printapi/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-qed/metadata.xml b/sci-mathematics/frama-c-qed/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-qed/metadata.xml +++ b/sci-mathematics/frama-c-qed/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-report/metadata.xml b/sci-mathematics/frama-c-report/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-report/metadata.xml +++ b/sci-mathematics/frama-c-report/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-rtegen/metadata.xml b/sci-mathematics/frama-c-rtegen/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-rtegen/metadata.xml +++ b/sci-mathematics/frama-c-rtegen/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-scope/metadata.xml b/sci-mathematics/frama-c-scope/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-scope/metadata.xml +++ b/sci-mathematics/frama-c-scope/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-security-slicing/metadata.xml b/sci-mathematics/frama-c-security-slicing/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-security-slicing/metadata.xml +++ b/sci-mathematics/frama-c-security-slicing/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-server/metadata.xml b/sci-mathematics/frama-c-server/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-server/metadata.xml +++ b/sci-mathematics/frama-c-server/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-slicing/metadata.xml b/sci-mathematics/frama-c-slicing/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-slicing/metadata.xml +++ b/sci-mathematics/frama-c-slicing/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-sparecode/metadata.xml b/sci-mathematics/frama-c-sparecode/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-sparecode/metadata.xml +++ b/sci-mathematics/frama-c-sparecode/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-studia/metadata.xml b/sci-mathematics/frama-c-studia/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-studia/metadata.xml +++ b/sci-mathematics/frama-c-studia/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-users/metadata.xml b/sci-mathematics/frama-c-users/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-users/metadata.xml +++ b/sci-mathematics/frama-c-users/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c-variadic/metadata.xml b/sci-mathematics/frama-c-variadic/metadata.xml index 7a420b460d5e..115e9d64a669 100644 --- a/sci-mathematics/frama-c-variadic/metadata.xml +++ b/sci-mathematics/frama-c-variadic/metadata.xml @@ -1,6 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> +</pkgmetadata> diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index e9441c0aff8b..1ce8baccd342 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -1,7 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <longdescription lang="en"> + <!-- maintainer-needed --> + <longdescription lang="en"> Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. It gathers several static analysis techniques in a single collaborative framework. The collaborative approach of @@ -10,6 +11,4 @@ computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/fricas/metadata.xml b/sci-mathematics/fricas/metadata.xml index 4d4e7057854a..1b9f80f6162c 100644 --- a/sci-mathematics/fricas/metadata.xml +++ b/sci-mathematics/fricas/metadata.xml @@ -1,28 +1,30 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>grozin@gentoo.org</email> - <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <use> - <flag name="clisp">Add support for GNU CLISP + <maintainer type="person"> + <email>grozin@gentoo.org</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="clisp">Add support for GNU CLISP (<pkg>dev-lisp/clisp</pkg>)</flag> - <flag name="cmucl">Add support for CMU Common Lisp + <flag name="cmucl">Add support for CMU Common Lisp (<pkg>dev-lisp/cmucl</pkg>)</flag> - <flag name="gcl">Add support for GNU Common Lisp + <flag name="gcl">Add support for GNU Common Lisp (<pkg>dev-lisp/gcl</pkg>)</flag> - <flag name="sbcl">Add support for Steel Bank Common Lisp + <flag name="sbcl">Add support for Steel Bank Common Lisp (<pkg>dev-lisp/sbcl</pkg>)</flag> - <flag name="ecl">Add support for Embeddable Common Lisp + <flag name="ecl">Add support for Embeddable Common Lisp (<pkg>dev-lisp/ecl</pkg>)</flag> - <flag name="clozurecl">Add support for Clozure Common Lisp + <flag name="clozurecl">Add support for Clozure Common Lisp (<pkg>dev-lisp/clozurecl</pkg>)</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <upstream> + <remote-id type="sourceforge">fricas</remote-id> + <remote-id type="github">fricas/fricas</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/frobby/metadata.xml b/sci-mathematics/frobby/metadata.xml index 1653416a6967..5f3dd9521ba8 100644 --- a/sci-mathematics/frobby/metadata.xml +++ b/sci-mathematics/frobby/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/functions-matlab-colormaps/metadata.xml b/sci-mathematics/functions-matlab-colormaps/metadata.xml index e7b0ebcf491b..99a145c8de6d 100644 --- a/sci-mathematics/functions-matlab-colormaps/metadata.xml +++ b/sci-mathematics/functions-matlab-colormaps/metadata.xml @@ -1,10 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>pacho@gentoo.org</email> - </maintainer> - - <origin>liguros-repo</origin> - <stabilize-allarches/> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>pacho@gentoo.org</email> + </maintainer> + <stabilize-allarches/> + <upstream> + <remote-id type="github">ultralytics/functions-matlab</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gap/metadata.xml b/sci-mathematics/gap/metadata.xml index a83a92bf9acd..c0a92adb90fe 100644 --- a/sci-mathematics/gap/metadata.xml +++ b/sci-mathematics/gap/metadata.xml @@ -1,22 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="person"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Groups, Algorithms, Programming is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands @@ -26,14 +26,15 @@ representations, rings, vector spaces, algebras, combinatorial structures, and more. </longdescription> - - <use> - <flag name="memcheck">Enable memory checking</flag> - <flag name="minimal"> + <use> + <flag name="memcheck">Enable memory checking</flag> + <flag name="minimal"> Install only the GAP packages that are strictly required for GAP to run. GAP will complain about the others unless you either start it with the "-A" flag or set "AutoloadPackages" in your gap.ini. </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <upstream> + <remote-id type="github">gap-system/gap</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index 6a50222332eb..d91a4022ddfa 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. </longdescription> - <upstream> - <bugs-to>https://gitlab.inria.fr/gappa/gappa/-/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://gitlab.inria.fr/gappa/gappa/-/issues/</bugs-to> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml index 95961ae85a93..c071e7661ba7 100644 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ b/sci-mathematics/gappalib-coq/metadata.xml @@ -1,12 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <bugs-to>https://gitlab.inria.fr/gappa/coq/-/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://gitlab.inria.fr/gappa/coq/-/issues/</bugs-to> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/genius/metadata.xml b/sci-mathematics/genius/metadata.xml index 10c655a06d86..53852e623caa 100644 --- a/sci-mathematics/genius/metadata.xml +++ b/sci-mathematics/genius/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <longdescription> Genius is a calculator program which can work with arbitrary precision integers, multiple precision floats, rational numbers, complex numbers, linear algebra, number theory, @@ -16,6 +16,4 @@ to export to eps or png. Genius has a GUI IDE. It can output matrices in LaTeX, Troff (eqn) or MathML. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/gfan/metadata.xml b/sci-mathematics/gfan/metadata.xml index 8c0770d8a6c0..f6daa1551d12 100644 --- a/sci-mathematics/gfan/metadata.xml +++ b/sci-mathematics/gfan/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> +<maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> +<longdescription lang="en"> Gfan is a software package for computing Gröbner fans and tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Gröbner fan are in bijection with the @@ -23,6 +23,4 @@ competitive in speed compared to programs such as CoCoA, Singular and Macaulay2. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/giac/metadata.xml b/sci-mathematics/giac/metadata.xml index 0abaece747f7..662e37c9c22b 100644 --- a/sci-mathematics/giac/metadata.xml +++ b/sci-mathematics/giac/metadata.xml @@ -1,19 +1,23 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>Francois Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>Francois Bissey</name> + </maintainer> + + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + + <longdescription> Giac is a free computer algebra system that can be used to perform computer algebra, function graphs, interactive geometry (2-d and 3-d), spreadsheet and statistics, programmation. It may be used as @@ -21,11 +25,11 @@ netbooks (for about the same price as a calculator but with much more performances). </longdescription> - - <use> - <flag name="glpk">Enable the use of <pkg>sci-mathematics/glpk</pkg></flag> - <flag name="ecm">Enable the use of <pkg>sci-mathematics/gmp-ecm</pkg></flag> - <flag name="gc">Enable garbage collection support via <pkg>dev-libs/boehm-gc</pkg></flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + + <use> + <flag name="glpk">Enable the use of <pkg>sci-mathematics/glpk</pkg></flag> + <flag name="ecm">Enable the use of <pkg>sci-mathematics/gmp-ecm</pkg></flag> + <flag name="gc">Enable garbage collection support via <pkg>dev-libs/boehm-gc</pkg></flag> + </use> + +</pkgmetadata> diff --git a/sci-mathematics/gimps/metadata.xml b/sci-mathematics/gimps/metadata.xml index 7d6ddd456e5c..0c4c17a241f0 100644 --- a/sci-mathematics/gimps/metadata.xml +++ b/sci-mathematics/gimps/metadata.xml @@ -1,18 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>paolo.pedroni@iol.it</email> - <name>Paolo Pedroni</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Gentoo Proxy Maintainers Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person" proxied="yes"> + <email>paolo.pedroni@iol.it</email> + <name>Paolo Pedroni</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Gentoo Proxy Maintainers Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/ginac/metadata.xml b/sci-mathematics/ginac/metadata.xml index 351ea83ade11..77b4449763bb 100644 --- a/sci-mathematics/ginac/metadata.xml +++ b/sci-mathematics/ginac/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>grozin@gentoo.org</email> - <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>grozin@gentoo.org</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It is designed to allow the creation of integrated systems that embed symbolic manipulations @@ -17,6 +17,4 @@ computation-intense numeric applications, graphical interfaces, etc.) under one roof. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/glpk/metadata.xml b/sci-mathematics/glpk/metadata.xml index 7cb6d0d74d1d..34ba2cd55814 100644 --- a/sci-mathematics/glpk/metadata.xml +++ b/sci-mathematics/glpk/metadata.xml @@ -1,30 +1,31 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>robbat2@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>robbat2@gentoo.org</email> + </maintainer> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> The GNU Linear Programming Kit package is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of routines written in ANSI C and organized in the form of a callable library. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="savannah">glpk</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gmm/metadata.xml b/sci-mathematics/gmm/metadata.xml index b3395122a100..dbf4b4ac81a1 100644 --- a/sci-mathematics/gmm/metadata.xml +++ b/sci-mathematics/gmm/metadata.xml @@ -1,10 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>amynka@gentoo.org</email> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>amynka@gentoo.org</email> + </maintainer> + <longdescription lang="en"> Gmm++ is a generic C++ template library for sparse, dense and skyline matrices. It is built as a set of generic algorithms (mult, add, copy, sub-matrices, dense and sparse solvers ...) for any @@ -14,8 +14,8 @@ are built in Gmm++, hence it can be used as a standalone linear algebra library. </longdescription> - <upstream> - <doc>https://getfem.org/gmm/index.html</doc> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <doc>https://getfem.org/gmm/index.html</doc> + <remote-id type="savannah-nongnu">getfem</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gmp-ecm/metadata.xml b/sci-mathematics/gmp-ecm/metadata.xml index 2f9229209545..e89f3c570a87 100644 --- a/sci-mathematics/gmp-ecm/metadata.xml +++ b/sci-mathematics/gmp-ecm/metadata.xml @@ -1,23 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="custom-tune"> + + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <use> + <flag name="custom-tune"> Improve performance of some operations by selecting machine-specific defaults </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> +</pkgmetadata> diff --git a/sci-mathematics/gp2c/metadata.xml b/sci-mathematics/gp2c/metadata.xml index 5bb1f48c96e2..731b4ddb82ed 100644 --- a/sci-mathematics/gp2c/metadata.xml +++ b/sci-mathematics/gp2c/metadata.xml @@ -1,22 +1,25 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> The gp2c compiler is a package for translating GP routines into the C programming language, so that they can be compiled and used with the PARI system or the GP calculator. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/gretl/metadata.xml b/sci-mathematics/gretl/metadata.xml index d6c8bca74a4f..5d86d4d5ed08 100644 --- a/sci-mathematics/gretl/metadata.xml +++ b/sci-mathematics/gretl/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> GNU Regression, Econometrics and Time-series Library provides a library which comprises various functions relating to econometric estimation, a command-line client program and a GUI. The library is @@ -17,10 +17,11 @@ data, and uses gnuplot for graphing. It can output regression results in LaTeX format. </longdescription> - - <use> - <flag name="extras">Build and install add-ons bundled with gretl</flag> - <flag name="R">Enable support for <pkg>dev-lang/R</pkg></flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="extras">Build and install add-ons bundled with gretl</flag> + <flag name="R">Enable support for <pkg>dev-lang/R</pkg></flag> + </use> + <upstream> + <remote-id type="sourceforge">gretl</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/gsl-shell/metadata.xml b/sci-mathematics/gsl-shell/metadata.xml index e544bdd9615e..90658fa611c8 100644 --- a/sci-mathematics/gsl-shell/metadata.xml +++ b/sci-mathematics/gsl-shell/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> GSL shell offers an interactive command-line interface that gives access to GSL collection of mathematical functions. GSL shell is based on the powerful and elegant scripting language Lua. @@ -14,6 +14,7 @@ but does offer much more simple and expressive way to use GSL. The objective of GSL shell is to give the user the power of easily access GSL functions without having to write a complete C application. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">franko/gsl-shell</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/highs/metadata.xml b/sci-mathematics/highs/metadata.xml index 8097b94331c1..eb025f425c60 100644 --- a/sci-mathematics/highs/metadata.xml +++ b/sci-mathematics/highs/metadata.xml @@ -1,19 +1,22 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - </maintainer> - - <use> - <flag name="hipo"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + </maintainer> + + <use> + <flag name="hipo"> Build the new factorization-based interior-point solver requiring <pkg>sci-libs/amd</pkg>, <pkg>sci-libs/metis</pkg>, and <pkg>virtual/cblas</pkg>. </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + + <upstream> + <remote-id type="github">ERGO-Code/HiGHS</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/jags/metadata.xml b/sci-mathematics/jags/metadata.xml index 9ad48064d0af..ac642164242d 100644 --- a/sci-mathematics/jags/metadata.xml +++ b/sci-mathematics/jags/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> JAGS is Just Another Gibbs Sampler. It is a program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation not wholly unlike BUGS. @@ -15,6 +15,7 @@ distributions and samplers. * To be a plaftorm for experimentation with ideas in Bayesian modelling </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="sourceforge">mcmc-jags</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/kind2/metadata.xml b/sci-mathematics/kind2/metadata.xml index 0cddf37a4c69..faf6e30c3a71 100644 --- a/sci-mathematics/kind2/metadata.xml +++ b/sci-mathematics/kind2/metadata.xml @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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> Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language. In @@ -20,8 +21,8 @@ compositional verification, proof generation for proven properties, and contract-based test generation. </longdescription> - <upstream> - <bugs-to>https://github.com/kind2-mc/kind2/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/kind2-mc/kind2/issues/</bugs-to> + <remote-id type="github">kind2-mc/kind2</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/kissat/metadata.xml b/sci-mathematics/kissat/metadata.xml index 14b50f942cd7..89067a2c8952 100644 --- a/sci-mathematics/kissat/metadata.xml +++ b/sci-mathematics/kissat/metadata.xml @@ -1,18 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally "kissat" also means "cats" in Finnish. </longdescription> - <upstream> - <bugs-to>https://github.com/arminbiere/kissat//issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/arminbiere/kissat//issues/</bugs-to> + <remote-id type="github">arminbiere/kissat</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/lcalc/metadata.xml b/sci-mathematics/lcalc/metadata.xml index 922d7ce24d4c..edfb6b408b74 100644 --- a/sci-mathematics/lcalc/metadata.xml +++ b/sci-mathematics/lcalc/metadata.xml @@ -1,29 +1,37 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="double">Use double precision (the upstream default)</flag> - <flag name="double-double"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <upstream> + <remote-id type="gitlab">sagemath/lcalc</remote-id> + </upstream> + <use> + <flag name="double">Use double precision (the upstream default)</flag> + <flag name="double-double"> Use <pkg>sci-libs/qd</pkg>for double-double precision </flag> - <flag name="pari"> + <!-- Broken upstream: https://gitlab.com/sagemath/lcalc/-/issues/7 + <flag name="multiple-precision"> + Use <pkg>dev-libs/mpfr</pkg>for multiple precision + </flag> + --> + <flag name="pari"> Use <pkg>sci-mathematics/pari</pkg> for elliptic curve L-functions </flag> - <flag name="quad-double"> + <flag name="quad-double"> Use <pkg>sci-libs/qd</pkg>for quad-double precision </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> +</pkgmetadata> diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml index a76e257e139b..c43ac3a1bfb1 100644 --- a/sci-mathematics/lean/metadata.xml +++ b/sci-mathematics/lean/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. Lean is a functional programming language that makes it easy to write correct and @@ -14,8 +15,8 @@ functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. </longdescription> - <upstream> - <bugs-to>https://github.com/leanprover/lean4/issues</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/leanprover/lean4/issues</bugs-to> + <remote-id type="github">leanprover/lean4</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/libpoly/metadata.xml b/sci-mathematics/libpoly/metadata.xml index ccd58c4ca3e1..9d9fdde167c9 100644 --- a/sci-mathematics/libpoly/metadata.xml +++ b/sci-mathematics/libpoly/metadata.xml @@ -1,18 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints. It is research software under development, so the features and the API might change rapidly. </longdescription> - <upstream> - <bugs-to>https://github.com/SRI-CSL/libpoly/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/SRI-CSL/libpoly/issues/</bugs-to> + <remote-id type="github">SRI-CSL/libpoly</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/lpsolve/metadata.xml b/sci-mathematics/lpsolve/metadata.xml index 8a8d314eb44e..8b7a23495fb6 100644 --- a/sci-mathematics/lpsolve/metadata.xml +++ b/sci-mathematics/lpsolve/metadata.xml @@ -1,14 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>office@gentoo.org</email> - <name>Gentoo Office project</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>office@gentoo.org</email> + <name>Gentoo Office project</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <remote-id type="github">lp-solve/lp_solve</remote-id> + <remote-id type="sourceforge">lpsolve</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/lrcalc/metadata.xml b/sci-mathematics/lrcalc/metadata.xml index ce02416bfbb9..4abb46ad0a6d 100644 --- a/sci-mathematics/lrcalc/metadata.xml +++ b/sci-mathematics/lrcalc/metadata.xml @@ -1,21 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> The "Littlewood-Richardson Calculator" is a package of C and Maple programs for computing Littlewood-Richardson coefficients </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/manifold/metadata.xml b/sci-mathematics/manifold/metadata.xml index cc7fdcd89a7b..75adeb59168d 100644 --- a/sci-mathematics/manifold/metadata.xml +++ b/sci-mathematics/manifold/metadata.xml @@ -1,18 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>negril.nx+gentoo@gmail.com</email> - <name>Paul Zander</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="assimp">Build mesh export (via <pkg>media-libs/assimp</pkg>) utility library</flag> - <flag name="tbb">Enable Parallel backend with <pkg>dev-cpp/tbb</pkg></flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person" proxied="yes"> + <email>negril.nx+gentoo@gmail.com</email> + <name>Paul Zander</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <upstream> + <remote-id type="github">elalish/manifold</remote-id> + </upstream> + <use> + <flag name="assimp">Build mesh export (via <pkg>media-libs/assimp</pkg>) utility library</flag> + <flag name="tbb">Enable Parallel backend with <pkg>dev-cpp/tbb</pkg></flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/mathematica/metadata.xml b/sci-mathematics/mathematica/metadata.xml index d7dfbc7b045e..7de4e95f570b 100644 --- a/sci-mathematics/mathematica/metadata.xml +++ b/sci-mathematics/mathematica/metadata.xml @@ -1,19 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>dilfridge@gentoo.org</email> - <name>Andreas K. Huettel</name> - </maintainer> - <maintainer type="person"> - <email>vowstar@gmail.com</email> - <name>Huang Rui</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>dilfridge@gentoo.org</email> + <name>Andreas K. Huettel</name> + </maintainer> + <maintainer type="person" proxied="yes"> + <email>vowstar@gmail.com</email> + <name>Huang Rui</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <longdescription lang="en"> Wolfram Mathematica is a software system with built-in libraries for several areas of technical computing that allow machine learning, statistics, symbolic computation, data manipulation, network analysis, @@ -21,12 +21,10 @@ implementation of algorithms, creation of user interfaces, and interfacing with programs written in other programming languages. </longdescription> - - <use> - <flag name="bundle">Install from Wolfram's bundle file or from Mathematica only</flag> - <flag name="mqtt">Enable MQTTLink support using <pkg>app-misc/mosquitto</pkg> (MQTT broker)</flag> - <flag name="R">Enable <pkg>dev-lang/R</pkg> backend support</flag> - <flag name="ffmpeg">Enable <pkg>media-video/ffmpeg</pkg> backend support</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="bundle">Install from Wolfram's bundle file or from Mathematica only</flag> + <flag name="mqtt">Enable MQTTLink support using <pkg>app-misc/mosquitto</pkg> (MQTT broker)</flag> + <flag name="R">Enable <pkg>dev-lang/R</pkg> backend support</flag> + <flag name="ffmpeg">Enable <pkg>media-video/ffmpeg</pkg> backend support</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/mathmod/metadata.xml b/sci-mathematics/mathmod/metadata.xml index 226666c70d37..2198e5722238 100644 --- a/sci-mathematics/mathmod/metadata.xml +++ b/sci-mathematics/mathmod/metadata.xml @@ -1,17 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> +<maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> +</maintainer> +<longdescription lang="en"> MathMod is a mathematical modeling software that visualize and animate implicit and parametric surfaces. MathMod supports: 3D and 4D plotting and animation, OBJ output file format, Textue and pigmentation support, Noise and Turbulence effects support, Large set of scripted examples. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +<upstream> + <remote-id type="sourceforge">mathmod</remote-id> + <remote-id type="github">parisolab/mathmod</remote-id> +</upstream> +</pkgmetadata> diff --git a/sci-mathematics/mathomatic/metadata.xml b/sci-mathematics/mathomatic/metadata.xml index 05dae454e5b8..a2952e0397e2 100644 --- a/sci-mathematics/mathomatic/metadata.xml +++ b/sci-mathematics/mathomatic/metadata.xml @@ -1,16 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic, etc. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">mfillpot/mathomatic</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/maxima/metadata.xml b/sci-mathematics/maxima/metadata.xml index 6b1de679c1f9..5e2cf6968da4 100644 --- a/sci-mathematics/maxima/metadata.xml +++ b/sci-mathematics/maxima/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>grozin@gentoo.org</email> - <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>grozin@gentoo.org</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Computer Algebra system, descendent of Macsyma. Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, @@ -19,25 +19,26 @@ exact fractions and arbitrarily long floating point representations, and can plot functions and data in two and three dimensions. </longdescription> - - <use> - <flag name="clisp">Compile maxima with GNU CLISP + <use> + <flag name="clisp">Compile maxima with GNU CLISP (<pkg>dev-lisp/clisp</pkg>)</flag> - <flag name="clozurecl">Compile maxima with 32-bit Clozure Common Lisp + <flag name="clozurecl">Compile maxima with 32-bit Clozure Common Lisp (<pkg>dev-lisp/clozurecl</pkg>)</flag> - <flag name="clozurecl64">Compile maxima with 64-bit Clozure Common Lisp + <flag name="clozurecl64">Compile maxima with 64-bit Clozure Common Lisp (<pkg>dev-lisp/clozurecl</pkg>)</flag> - <flag name="cmucl">Compile maxima with CMU Common Lisp + <flag name="cmucl">Compile maxima with CMU Common Lisp (<pkg>dev-lisp/cmucl</pkg>)</flag> - <flag name="ecl">Compile maxima with Embeddable Common Lisp + <flag name="ecl">Compile maxima with Embeddable Common Lisp (<pkg>dev-lisp/ecl</pkg>)</flag> - <flag name="gcl">Compile maxima with GNU Common Lisp + <flag name="gcl">Compile maxima with GNU Common Lisp (<pkg>dev-lisp/gcl</pkg>)</flag> - <flag name="sbcl">Compile maxima with Steel Bank Common Lisp + <flag name="sbcl">Compile maxima with Steel Bank Common Lisp (<pkg>dev-lisp/sbcl</pkg>)</flag> - <flag name="vtk"> + <flag name="vtk"> Support plotting with <pkg>sci-libs/vtk</pkg> </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <upstream> + <remote-id type="sourceforge">maxima</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/metamath-databases/metadata.xml b/sci-mathematics/metamath-databases/metadata.xml index bd8bf40a2986..aeb2ac517a10 100644 --- a/sci-mathematics/metamath-databases/metadata.xml +++ b/sci-mathematics/metamath-databases/metadata.xml @@ -1,17 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms. </longdescription> - <upstream> - <bugs-to>https://github.com/metamath/set.mm/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/metamath/set.mm/issues/</bugs-to> + <remote-id type="github">metamath/set.mm</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml index 8ad9f95d98b9..b5aa4cee8574 100644 --- a/sci-mathematics/metamath/metadata.xml +++ b/sci-mathematics/metamath/metadata.xml @@ -1,17 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. </longdescription> - <upstream> - <bugs-to>https://github.com/metamath/metamath-exe/issues</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/metamath/metamath-exe/issues</bugs-to> + <remote-id type="github">metamath/metamath-exe</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml index 9941a3a4e981..68f253bc3c2d 100644 --- a/sci-mathematics/minisat/metadata.xml +++ b/sci-mathematics/minisat/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <longdescription> MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects. @@ -20,6 +20,8 @@ integrating as a backend to another tool, such as a model checker or a more generic constraint solver. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">niklasso/minisat</remote-id> + <remote-id type="github">stp/minisat</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/msieve/metadata.xml b/sci-mathematics/msieve/metadata.xml index 259c5532aeb1..02dbe2aa7fdd 100644 --- a/sci-mathematics/msieve/metadata.xml +++ b/sci-mathematics/msieve/metadata.xml @@ -1,9 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <use> - <flag name="ecm">Enable support for the GMP-ECM library</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> + <use> + <flag name="ecm">Enable support for the GMP-ECM library</flag> + </use> + <upstream> + <remote-id type="sourceforge">msieve</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/nauty/metadata.xml b/sci-mathematics/nauty/metadata.xml index 8094e78a2732..78ccb3832737 100644 --- a/sci-mathematics/nauty/metadata.xml +++ b/sci-mathematics/nauty/metadata.xml @@ -1,16 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> nauty is a program for computing automorphism groups of graphs and digraphs. It can also produce a canonical labelling. nauty is written in a portable subset of C, and runs on a considerable number of different systems. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/nestedsums/metadata.xml b/sci-mathematics/nestedsums/metadata.xml index 066bb0275150..bd35967563f4 100644 --- a/sci-mathematics/nestedsums/metadata.xml +++ b/sci-mathematics/nestedsums/metadata.xml @@ -1,14 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> +<maintainer type="person"> <email>grozin@gentoo.org</email> <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> +</maintainer> +<maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</maintainer> +</pkgmetadata> diff --git a/sci-mathematics/normaliz/metadata.xml b/sci-mathematics/normaliz/metadata.xml index 8e3c68a0a000..802b12e6eb3d 100644 --- a/sci-mathematics/normaliz/metadata.xml +++ b/sci-mathematics/normaliz/metadata.xml @@ -1,24 +1,25 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> - Normaliz is a (command line) tool for computations in affine - monoids, vector configurations, lattice polytopes, and rational - cones. - </longdescription> - - <use> - <flag name="extras"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="extras"> Install Macaulay2 and <pkg>sci-mathematics/singular</pkg>packages as shipped by upstream </flag> - <flag name="nauty"> + <flag name="nauty"> Use <pkg>sci-mathematics/nauty</pkg> to compute automorphism groups. </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <longdescription lang="en"> + Normaliz is a (command line) tool for computations in affine + monoids, vector configurations, lattice polytopes, and rational + cones. + </longdescription> + <upstream> + <remote-id type="github">Normaliz/Normaliz</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/num-utils/metadata.xml b/sci-mathematics/num-utils/metadata.xml index 1653416a6967..5f3dd9521ba8 100644 --- a/sci-mathematics/num-utils/metadata.xml +++ b/sci-mathematics/num-utils/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/octave-epstk/metadata.xml b/sci-mathematics/octave-epstk/metadata.xml index 9de48b281f23..dd0aa5dcce5e 100644 --- a/sci-mathematics/octave-epstk/metadata.xml +++ b/sci-mathematics/octave-epstk/metadata.xml @@ -1,16 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> The epsTk package provides, via a set of functions for octave, a toolkit to create powerful encapsulated postscript (.eps) graphs. Most 2D scientific graphics functions are written. The generated .eps-files are very small and can be imported into other documents without loss of quality. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/octave/metadata.xml b/sci-mathematics/octave/metadata.xml index c449f2f8e9b9..2882a9365df2 100644 --- a/sci-mathematics/octave/metadata.xml +++ b/sci-mathematics/octave/metadata.xml @@ -1,29 +1,29 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments. It may also be used as a batch-oriented language. </longdescription> - <upstream> - <changelog>https://octave.org/news.html</changelog> - <bugs-to>https://savannah.gnu.org/bugs/?group=octave</bugs-to> - <doc>https://docs.octave.org/latest/</doc> - </upstream> - <use> - <flag name="glpk">Add support for <pkg>sci-mathematics/glpk</pkg> for linear programming</flag> - <flag name="gnuplot">Use <pkg>sci-visualization/gnuplot</pkg> to render plots if OpenGL is unavailable</flag> - <flag name="imagemagick">Use <pkg>media-gfx/graphicsmagick</pkg> to read and write images</flag> - <flag name="json">Allow using jsonencode and jsondecode commands via <pkg>dev-libs/rapidjson</pkg></flag> - <flag name="klu">Add support for KLU (<pkg>sci-libs/klu</pkg>)</flag> - <flag name="qhull">Add support for <pkg>media-libs/qhull</pkg>, to allow `delaunay', `convhull', and related functions</flag> - <flag name="qrupdate">Add support for <pkg>sci-libs/qrupdate</pkg>for QR and Cholesky update functions</flag> - <flag name="sparse">Add enhanced support for sparse matrix algebra with SuiteSparse</flag> - <flag name="spqr">Add support for SPQR (<pkg>sci-libs/spqr</pkg>)</flag> - <flag name="sundials">Enable the ode15i and ode15s ODE solvers using <pkg>sci-libs/sundials</pkg></flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="glpk">Add support for <pkg>sci-mathematics/glpk</pkg> for linear programming</flag> + <flag name="gnuplot">Use <pkg>sci-visualization/gnuplot</pkg> to render plots if OpenGL is unavailable</flag> + <flag name="imagemagick">Use <pkg>media-gfx/graphicsmagick</pkg> to read and write images</flag> + <flag name="json">Allow using jsonencode and jsondecode commands via <pkg>dev-libs/rapidjson</pkg></flag> + <flag name="klu">Add support for KLU (<pkg>sci-libs/klu</pkg>)</flag> + <flag name="qhull">Add support for <pkg>media-libs/qhull</pkg>, to allow `delaunay', `convhull', and related functions</flag> + <flag name="qrupdate">Add support for <pkg>sci-libs/qrupdate</pkg>for QR and Cholesky update functions</flag> + <flag name="sparse">Add enhanced support for sparse matrix algebra with SuiteSparse</flag> + <flag name="spqr">Add support for SPQR (<pkg>sci-libs/spqr</pkg>)</flag> + <flag name="sundials">Enable the ode15i and ode15s ODE solvers using <pkg>sci-libs/sundials</pkg></flag> + </use> + <upstream> + <bugs-to>https://savannah.gnu.org/bugs/?group=octave</bugs-to> + <changelog>https://octave.org/news.html</changelog> + <doc>https://docs.octave.org/latest/</doc> + <remote-id type="savannah">octave</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/opensmt/metadata.xml b/sci-mathematics/opensmt/metadata.xml index 238c26c8bfd6..e1c63fbdaeca 100644 --- a/sci-mathematics/opensmt/metadata.xml +++ b/sci-mathematics/opensmt/metadata.xml @@ -1,18 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API. </longdescription> - <upstream> - <bugs-to>https://github.com/usi-verification-and-security/opensmt/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/usi-verification-and-security/opensmt/issues/</bugs-to> + <remote-id type="github">usi-verification-and-security/opensmt</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/otter/metadata.xml b/sci-mathematics/otter/metadata.xml index da4360c8272a..c0cd18916a93 100644 --- a/sci-mathematics/otter/metadata.xml +++ b/sci-mathematics/otter/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/palp/metadata.xml b/sci-mathematics/palp/metadata.xml index 247933c75bfd..b5439949c063 100644 --- a/sci-mathematics/palp/metadata.xml +++ b/sci-mathematics/palp/metadata.xml @@ -1,21 +1,26 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + + <upstream> + <remote-id type="gitlab">stringstuwien/PALP</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/pari-data/metadata.xml b/sci-mathematics/pari-data/metadata.xml index 14f743d8e345..7d4729c871ed 100644 --- a/sci-mathematics/pari-data/metadata.xml +++ b/sci-mathematics/pari-data/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> The extra data for PARI consists of: * elldata is PARI/GP version of J. E. Cremona Elliptic Curve Data, needed by ellsearch and ellidentify. @@ -15,6 +15,4 @@ * nftables is a repackaging of the historical megrez number field tables (errors fixed, 1/10th the size, easier to use). </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/pari/metadata.xml b/sci-mathematics/pari/metadata.xml index 4ca1e5e47bec..b09ff7a738c2 100644 --- a/sci-mathematics/pari/metadata.xml +++ b/sci-mathematics/pari/metadata.xml @@ -1,22 +1,27 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> PARI is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other @@ -32,9 +37,7 @@ * nftables is a repackaging of the historical megrez number field tables (errors fixed, 1/10th the size, easier to use). </longdescription> - - <use> - <flag name="data">Add additional data (elldata, galdata, seadata, nftables)</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="data">Add additional data (elldata, galdata, seadata, nftables)</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/petsc/metadata.xml b/sci-mathematics/petsc/metadata.xml index 5d99aefa93ef..f380b0943dce 100644 --- a/sci-mathematics/petsc/metadata.xml +++ b/sci-mathematics/petsc/metadata.xml @@ -1,25 +1,26 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tamiko@gentoo.org</email> - <name>Matthias Maier</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <use> - <flag name="afterimage">Use Afterstep image library (<pkg>media-libs/libafterimage</pkg>)</flag> - <flag name="boost">Use boost (<pkg>dev-libs/boost</pkg>)</flag> - <flag name="complex-scalars">Make scalars complex</flag> - <flag name="hypre">Use HYPRE (sci-mathematics/hypre) and for preconditioning</flag> - <flag name="int64">Use 64 bit indexes</flag> - <flag name="metis">Add support for metis (<pkg>sci-libs/parmetis</pkg>)</flag> - <flag name="mumps">Add support for mumps (<pkg>sci-libs/mumps</pkg>)</flag> - <flag name="scotch">Add support for scotch (<pkg>sci-libs/scotch</pkg>)</flag> - <flag name="superlu">Use superlu (<pkg>sci-libs/superlu</pkg>) for preconditioning</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>tamiko@gentoo.org</email> + <name>Matthias Maier</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="afterimage">Use Afterstep image library (<pkg>media-libs/libafterimage</pkg>)</flag> + <flag name="boost">Use boost (<pkg>dev-libs/boost</pkg>)</flag> + <flag name="complex-scalars">Make scalars complex</flag> + <flag name="hypre">Use HYPRE (sci-mathematics/hypre) and for preconditioning</flag> + <flag name="int64">Use 64 bit indexes</flag> + <flag name="metis">Add support for metis (<pkg>sci-libs/parmetis</pkg>)</flag> + <flag name="mumps">Add support for mumps (<pkg>sci-libs/mumps</pkg>)</flag> + <flag name="scotch">Add support for scotch (<pkg>sci-libs/scotch</pkg>)</flag> + <flag name="superlu">Use superlu (<pkg>sci-libs/superlu</pkg>) for preconditioning</flag> + </use> + <upstream> + <remote-id type="gitlab">petsc/petsc</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/picosat/metadata.xml b/sci-mathematics/picosat/metadata.xml index 1653416a6967..bfe27bd4a945 100644 --- a/sci-mathematics/picosat/metadata.xml +++ b/sci-mathematics/picosat/metadata.xml @@ -1,10 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/planarity/metadata.xml b/sci-mathematics/planarity/metadata.xml index 50da6f841e7c..07ebd0d1054c 100644 --- a/sci-mathematics/planarity/metadata.xml +++ b/sci-mathematics/planarity/metadata.xml @@ -1,17 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <upstream> + <remote-id type="github">graph-algorithms/edge-addition-planarity-suite</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/plfit/metadata.xml b/sci-mathematics/plfit/metadata.xml index b92280ebaa80..fad11365ac2d 100644 --- a/sci-mathematics/plfit/metadata.xml +++ b/sci-mathematics/plfit/metadata.xml @@ -1,12 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + </maintainer> + <upstream> + <remote-id type="github">ntamas/plfit</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/polymake/metadata.xml b/sci-mathematics/polymake/metadata.xml index 0a5f7f7bafad..e8e79ebd3fc8 100644 --- a/sci-mathematics/polymake/metadata.xml +++ b/sci-mathematics/polymake/metadata.xml @@ -1,18 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> +<maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> - Polymake is open source software for research in polyhedral - geometry. It deals with polytopes, polyhedra, and fans as well as - simplicial complexes, matroids, graphs, tropical hypersurfaces, and - other objects. -</longdescription> - - <use> +</maintainer> +<use> <flag name="bliss"> Enable <pkg>sci-libs/bliss</pkg> interface for graph and face lattice isomorphism computations. @@ -48,6 +41,14 @@ Enable the interface to <pkg>sci-mathematics/singular</pkg> for ideal related computations. </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</use> +<longdescription lang="en"> + Polymake is open source software for research in polyhedral + geometry. It deals with polytopes, polyhedra, and fans as well as + simplicial complexes, matroids, graphs, tropical hypersurfaces, and + other objects. +</longdescription> +<upstream> + <remote-id type="github">polymake/polymake</remote-id> +</upstream> +</pkgmetadata> diff --git a/sci-mathematics/primecount/metadata.xml b/sci-mathematics/primecount/metadata.xml index 82ed0d6d583b..e42b5f5b1542 100644 --- a/sci-mathematics/primecount/metadata.xml +++ b/sci-mathematics/primecount/metadata.xml @@ -1,20 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="executable">Build the primecount CLI executable</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <use> + <flag name="executable">Build the primecount CLI executable</flag> + </use> + + <upstream> + <remote-id type="github">kimwalisch/primecount</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/primesieve/metadata.xml b/sci-mathematics/primesieve/metadata.xml index 609f5372024f..54378d1eb285 100644 --- a/sci-mathematics/primesieve/metadata.xml +++ b/sci-mathematics/primesieve/metadata.xml @@ -1,20 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <use> - <flag name="executable">Build the primesieve CLI executable</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <use> + <flag name="executable">Build the primesieve CLI executable</flag> + </use> + + <upstream> + <remote-id type="github">kimwalisch/primesieve</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/prng/metadata.xml b/sci-mathematics/prng/metadata.xml index 918f380d493d..59fe7983e82f 100644 --- a/sci-mathematics/prng/metadata.xml +++ b/sci-mathematics/prng/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> The Pseudo-Random Number Generator library is a portable, high-performance ANSI-C implementations of pseudorandom number generators such as linear congruential, inversive congruential, and @@ -13,6 +13,4 @@ LCG, ICG and EICG, respectively) created by Otmar Lendl. It is part of the pLab project. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index 1b396ebec3b5..b94b0418005f 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -1,16 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Prover9 and Mace4 Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/proverif/metadata.xml b/sci-mathematics/proverif/metadata.xml index b40b0da8a6e6..e388e8201c2b 100644 --- a/sci-mathematics/proverif/metadata.xml +++ b/sci-mathematics/proverif/metadata.xml @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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> ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Its main features are: 1) @@ -26,8 +27,7 @@ it tries to reconstruct an attack, that is, an execution trace of the protocol that falsifies the desired property. </longdescription> - <upstream> - <bugs-to>https://gitlab.inria.fr/bblanche/proverif/-/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://gitlab.inria.fr/bblanche/proverif/-/issues/</bugs-to> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/psmt2-frontend/metadata.xml b/sci-mathematics/psmt2-frontend/metadata.xml index 25d86ba8c44e..ae10bf8fbbed 100644 --- a/sci-mathematics/psmt2-frontend/metadata.xml +++ b/sci-mathematics/psmt2-frontend/metadata.xml @@ -1,20 +1,21 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <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> + <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> psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism. </longdescription> - <upstream> - <bugs-to>https://github.com/ACoquereau/psmt2-frontend/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/ACoquereau/psmt2-frontend/issues/</bugs-to> + <remote-id type="github">ACoquereau/psmt2-frontend</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/pspp/metadata.xml b/sci-mathematics/pspp/metadata.xml index 38b2eda5f73c..60a79e35988a 100644 --- a/sci-mathematics/pspp/metadata.xml +++ b/sci-mathematics/pspp/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> PSPP is a program for statistical analysis of sampled data. It interprets commands in the SPSS language and produces tabular and graphical output in ASCII, HTML, or PostScript format. @@ -13,6 +13,7 @@ statistical procedure support is limited but growing. PSPP has both text-based and a GTK+ based graphical user interfaces. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="savannah">pspp</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/pyromaths/metadata.xml b/sci-mathematics/pyromaths/metadata.xml index 013b731eec99..3f3220ef076d 100644 --- a/sci-mathematics/pyromaths/metadata.xml +++ b/sci-mathematics/pyromaths/metadata.xml @@ -1,13 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM 'https://www.gentoo.org/dtd/metadata.dtd'> <pkgmetadata> - <maintainer type="person"> - <email>gasc@eurecom.fr</email> - <name>Gasc Henri</name> - </maintainer> - <longdescription> + <maintainer type="person"> + <email>gasc@eurecom.fr</email> + <name>Gasc Henri</name> + </maintainer> + <upstream> + <remote-id type="pypi">pyromaths</remote-id> + </upstream> + <longdescription> A program to create math exercise using LaTeX and python. It let you choose the subject, the difficulty and give you the solutions. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/rink/metadata.xml b/sci-mathematics/rink/metadata.xml index af652d00a261..28338cad9810 100644 --- a/sci-mathematics/rink/metadata.xml +++ b/sci-mathematics/rink/metadata.xml @@ -1,17 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM 'https://www.gentoo.org/dtd/metadata.dtd'> <pkgmetadata> - <maintainer type="person"> - <email>demize@unstable.systems</email> - <name>demize</name> - </maintainer> - <upstream> - <maintainer status="active"> - <email>tiffany@tiffnix.com</email> - <name>tiffany352</name> - </maintainer> - <changelog>https://rinkcalc.app/releases/</changelog> - <bugs-to>https://codeberg.org/tiffany/rink/issues/new</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <name>demize</name> + <email>demize@unstable.systems</email> + </maintainer> + <upstream> + <maintainer status="active"> + <name>tiffany352</name> + <email>tiffany@tiffnix.com</email> + </maintainer> + <remote-id type="codeberg">tiffany/rink</remote-id> + <bugs-to>https://codeberg.org/tiffany/rink/issues/new</bugs-to> + <changelog>https://rinkcalc.app/releases/</changelog> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/rkward/metadata.xml b/sci-mathematics/rkward/metadata.xml index 8c2dc7ce2700..7d9dec220d8e 100644 --- a/sci-mathematics/rkward/metadata.xml +++ b/sci-mathematics/rkward/metadata.xml @@ -1,16 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>kde@gentoo.org</email> - <name>Gentoo KDE Project</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <bugs-to>https://bugs.kde.org/enter_bug.cgi?product=rkward</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>kde@gentoo.org</email> + <name>Gentoo KDE Project</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://bugs.kde.org/enter_bug.cgi?product=rkward</bugs-to> + <remote-id type="kde-invent">education/rkward</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/rngstreams/metadata.xml b/sci-mathematics/rngstreams/metadata.xml index 1f3b2e5197fd..953716cf8e88 100644 --- a/sci-mathematics/rngstreams/metadata.xml +++ b/sci-mathematics/rngstreams/metadata.xml @@ -1,17 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> RngStreams is a C implementation of a high quality uniform random number generator that supports multiple "independent" streams of uniform random numbers. It has been written by Pierre L'Ecuyer and Richard Simard. This is the GNU-style package maintained by Josef Leydold. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/rstudio-desktop-bin/metadata.xml b/sci-mathematics/rstudio-desktop-bin/metadata.xml index bb58cc1b0bbc..d81eb4ab38b1 100644 --- a/sci-mathematics/rstudio-desktop-bin/metadata.xml +++ b/sci-mathematics/rstudio-desktop-bin/metadata.xml @@ -1,12 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <longdescription lang="en"> + <longdescription lang="en"> RStudio is an integrated development environment (IDE) for R. It can run it on a desktop or even over the web using RStudio Server. </longdescription> - <upstream> - <bugs-to>https://github.com/rstudio/rstudio/issues</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/rstudio/rstudio/issues</bugs-to> + <remote-id type="github">rstudio/rstudio</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/rw/metadata.xml b/sci-mathematics/rw/metadata.xml index 4f0689489e2a..7672bedffa95 100644 --- a/sci-mathematics/rw/metadata.xml +++ b/sci-mathematics/rw/metadata.xml @@ -1,29 +1,35 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - <name>Michael Orlitzky</name> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>mjo@gentoo.org</email> + <name>Michael Orlitzky</name> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + + <longdescription lang="en"> rw is a program that calculates rank-width and rank-decompositions. It is based on ideas from "Computing rank-width exactly" by Sang-il Oum, "Sopra una formula numerica" by Ernesto Pascal, "Generation of a Vector from the Lexicographical Index" by B.P. Buckles and M. Lybanon and "Fast additions on masked integers" by Michael D. Adams and David S. Wise. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + + <upstream> + <remote-id type="sourceforge">rankwidth</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/sha1-polyml/metadata.xml b/sci-mathematics/sha1-polyml/metadata.xml index 269b9c2f2004..60e7f85a8dc5 100644 --- a/sci-mathematics/sha1-polyml/metadata.xml +++ b/sci-mathematics/sha1-polyml/metadata.xml @@ -1,15 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> <pkg>sci-mathematics/sha1-polyml</pkg> is the implementation of SHA1 taken from the GNU coreutils package as described in the <pkg>sci-mathematics/sha1-polyml</pkg> README. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/singular/metadata.xml b/sci-mathematics/singular/metadata.xml index 3550f2064ce3..a2368c6ebc10 100644 --- a/sci-mathematics/singular/metadata.xml +++ b/sci-mathematics/singular/metadata.xml @@ -1,26 +1,27 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <bugs-to>https://github.com/Singular/Singular/issues</bugs-to> - </upstream> - <use> - <flag name="polymake">Enable the interface to TOPCOM</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="polymake">Enable the interface to TOPCOM</flag> + </use> + <upstream> + <bugs-to>https://github.com/Singular/Singular/issues</bugs-to> + <remote-id type="github">Singular/Singular</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/slepc/metadata.xml b/sci-mathematics/slepc/metadata.xml index 10698f53a73f..d04f7a280211 100644 --- a/sci-mathematics/slepc/metadata.xml +++ b/sci-mathematics/slepc/metadata.xml @@ -1,18 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tamiko@gentoo.org</email> - <name>Matthias Maier</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <use> - <flag name="arpack">Adds support for ARPACK (<pkg>sci-libs/arpack</pkg>)</flag> - <flag name="complex-scalars">Make scalars complex</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>tamiko@gentoo.org</email> + <name>Matthias Maier</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="arpack">Adds support for ARPACK (<pkg>sci-libs/arpack</pkg>)</flag> + <flag name="complex-scalars">Make scalars complex</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/smtinterpol/metadata.xml b/sci-mathematics/smtinterpol/metadata.xml index 0f4317802d18..db3a8cbe040b 100644 --- a/sci-mathematics/smtinterpol/metadata.xml +++ b/sci-mathematics/smtinterpol/metadata.xml @@ -1,12 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <upstream> - <bugs-to>https://github.com/ultimate-pa/smtinterpol/issues/</bugs-to> - </upstream> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/ultimate-pa/smtinterpol/issues/</bugs-to> + <remote-id type="github">ultimate-pa/smtinterpol</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/spin/metadata.xml b/sci-mathematics/spin/metadata.xml index 7a420b460d5e..a8e0865a4e65 100644 --- a/sci-mathematics/spin/metadata.xml +++ b/sci-mathematics/spin/metadata.xml @@ -1,6 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> + <upstream> + <remote-id type="github">nimble-code/Spin</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/stp/metadata.xml b/sci-mathematics/stp/metadata.xml index 2434e52647f4..5054ed8fec27 100644 --- a/sci-mathematics/stp/metadata.xml +++ b/sci-mathematics/stp/metadata.xml @@ -1,15 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="person"> - <email>jeffrey@icurse.nl</email> - <name>Jeffrey Lin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="person" proxied="yes"> + <email>jeffrey@icurse.nl</email> + <name>Jeffrey Lin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem @@ -17,16 +18,16 @@ intelligent fuzzers, model checkers, and by many other applications. </longdescription> - <upstream> - <bugs-to>https://github.com/stp/stp/issues/</bugs-to> - </upstream> - <use> - <flag name="cryptominisat"> + <upstream> + <bugs-to>https://github.com/stp/stp/issues/</bugs-to> + <remote-id type="github">stp/stp</remote-id> + </upstream> + <use> + <flag name="cryptominisat"> Enable <pkg>sci-mathematics/cryptominisat</pkg> support </flag> - <flag name="python"> + <flag name="python"> Enable building the Python interface </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> +</pkgmetadata> diff --git a/sci-mathematics/sympow/metadata.xml b/sci-mathematics/sympow/metadata.xml index 50da6f841e7c..d851aeb4e1d0 100644 --- a/sci-mathematics/sympow/metadata.xml +++ b/sci-mathematics/sympow/metadata.xml @@ -1,17 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mjo@gentoo.org</email> - </maintainer> - <maintainer type="person"> - <email>frp.bissey@gmail.com</email> - <name>François Bissey</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="person"> + <email>mjo@gentoo.org</email> + </maintainer> + <!-- + mjo: François maintained this package in the sage-on-gentoo overlay + long before I moved it into ::gentoo. You don't need an ACK from me + to merge his changes. + --> + <maintainer type="person" proxied="yes"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + + <upstream> + <remote-id type="gitlab">rezozer/forks/sympow</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/topcom/metadata.xml b/sci-mathematics/topcom/metadata.xml index 1653416a6967..5f3dd9521ba8 100644 --- a/sci-mathematics/topcom/metadata.xml +++ b/sci-mathematics/topcom/metadata.xml @@ -1,10 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index 4a8bae3f4e32..938124fd245e 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -1,11 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <longdescription lang="en"> + <!-- maintainer-needed --> + <longdescription lang="en"> Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">standardml/twelf</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/unuran/metadata.xml b/sci-mathematics/unuran/metadata.xml index 1c9c8006fa7f..d38128d587a4 100644 --- a/sci-mathematics/unuran/metadata.xml +++ b/sci-mathematics/unuran/metadata.xml @@ -1,21 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> UNU.RAN is an ANSI C library licensed under GPL. It contains universal (also called automatic or black-box) algorithms that can generate random numbers from large classes of continuous or discrete distributions, and also from practically all standard distributions. </longdescription> - - <use> - <flag name="rngstreams">Use <pkg>sci-mathematics/rngstreams</pkg> library</flag> - <flag name="prng">Use <pkg>sci-mathematics/prng</pkg> library</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="rngstreams">Use <pkg>sci-mathematics/rngstreams</pkg> library</flag> + <flag name="prng">Use <pkg>sci-mathematics/prng</pkg> library</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml index 0dfc56ae71ea..b88b3fad8295 100644 --- a/sci-mathematics/vampire/metadata.xml +++ b/sci-mathematics/vampire/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Vampire is a theorem prover, that is, a system able to prove theorems — although now it can do much more! Its main focus is in proving theorems in first-order logic but it can also prove non-theorems and build finite @@ -14,11 +15,11 @@ The development of Vampire began in 1994 and has survived a number of rewritings. </longdescription> - <upstream> - <bugs-to>https://github.com/vprover/vampire/issues/</bugs-to> - </upstream> - <use> - <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg></flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <bugs-to>https://github.com/vprover/vampire/issues/</bugs-to> + <remote-id type="github">vprover/vampire</remote-id> + </upstream> + <use> + <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg></flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/verifpal/metadata.xml b/sci-mathematics/verifpal/metadata.xml index 1a9117d98b89..53f63e5b4c26 100644 --- a/sci-mathematics/verifpal/metadata.xml +++ b/sci-mathematics/verifpal/metadata.xml @@ -1,17 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml index 91646f19b29f..f245da8f13fa 100644 --- a/sci-mathematics/verit/metadata.xml +++ b/sci-mathematics/verit/metadata.xml @@ -1,17 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and linear arithmetic on real numbers and integers. It also offers good support for quantifiers. The input format is the SMT-LIB 2.0 language and DIMACS. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml index a52547f4fd69..465b310bba32 100644 --- a/sci-mathematics/why3-for-spark/metadata.xml +++ b/sci-mathematics/why3-for-spark/metadata.xml @@ -1,10 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>ada@gentoo.org</email> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>ada@gentoo.org</email> + </maintainer> + <longdescription lang="en"> Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to @@ -16,14 +16,15 @@ extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. </longdescription> - - <use> - <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> - <flag name="html">Build HTML documentation</flag> - <flag name="hypothesis-selection">Enable hypothesis selection</flag> - <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> - <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> - <flag name="zip">Enable compression of session files</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name="html">Build HTML documentation</flag> + <flag name="hypothesis-selection">Enable hypothesis selection</flag> + <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> + <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> + <flag name="zip">Enable compression of session files</flag> + </use> + <upstream> + <remote-id type="github">AdaCore/why3</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index e799b8b913ad..c8d6f06359fb 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -1,19 +1,20 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="person"> - <email>fx.carton91@gmail.com</email> - <name>François-Xavier Carton</name> - </maintainer> - <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> + <maintainer type="person" proxied="yes"> + <name>François-Xavier Carton</name> + <email>fx.carton91@gmail.com</email> + </maintainer> + <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> Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, @@ -25,15 +26,13 @@ automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. </longdescription> - - <use> - <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> - <flag name="gtk">Build the IDE <pkg>x11-libs/gtk+</pkg></flag> - <flag name="re">Use Re (<pkg>dev-ml/re</pkg>) instead of Str for regular expressions</flag> - <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> - <flag name="stackify">Enable structure reconstruction algorithm for MLCFG</flag> - <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> - <flag name="zip">Enable compression of session files</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name="gtk">Build the IDE <pkg>x11-libs/gtk+</pkg></flag> + <flag name="re">Use Re (<pkg>dev-ml/re</pkg>) instead of Str for regular expressions</flag> + <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> + <flag name="stackify">Enable structure reconstruction algorithm for MLCFG</flag> + <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> + <flag name="zip">Enable compression of session files</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/wxmaxima/metadata.xml b/sci-mathematics/wxmaxima/metadata.xml index ccca17e713cf..1af1aec16112 100644 --- a/sci-mathematics/wxmaxima/metadata.xml +++ b/sci-mathematics/wxmaxima/metadata.xml @@ -1,26 +1,27 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>grozin@gentoo.org</email> - <name>Andrey Grozin</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>grozin@gentoo.org</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> wxMaxima is a wxWidgets GUI for the computer algebra system maxima. Most of maxima functions are accessible through menus, some have dialogs. The input line has command history (up-key, down-key) and completion based on previous input (tab-key). wxMaxima provides 2d formated display of maxima output. </longdescription> - - <use> - <flag name="webkit">Use <pkg>net-libs/webkit-gtk</pkg> to show help + <use> + <flag name="webkit">Use <pkg>net-libs/webkit-gtk</pkg> to show help (for maxima and wxmaxima) inside wxmaxima </flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <upstream> + <remote-id type="github">wxMaxima-developers/wxmaxima</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/yacas/metadata.xml b/sci-mathematics/yacas/metadata.xml index fcb57f025d69..8b5431a3a89a 100644 --- a/sci-mathematics/yacas/metadata.xml +++ b/sci-mathematics/yacas/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Yacas (Yet Another Computer Algebra System) is a small and highly flexible general-purpose computer algebra language. The syntax uses a infix-operator grammar parser. The distribution contains a small @@ -13,9 +13,10 @@ language in which you can easily write your own symbolic manipulation algorithms. </longdescription> - - <use> - <flag name="jupyter">Add support for jupyter notebook</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="jupyter">Add support for jupyter notebook</flag> + </use> + <upstream> + <remote-id type="github">grzegorzmazur/yacas</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/yafu/metadata.xml b/sci-mathematics/yafu/metadata.xml index 7a420b460d5e..9742cb1658f4 100644 --- a/sci-mathematics/yafu/metadata.xml +++ b/sci-mathematics/yafu/metadata.xml @@ -1,6 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <!-- maintainer-needed --> + <upstream> + <remote-id type="sourceforge">yafu</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/yices2/metadata.xml b/sci-mathematics/yices2/metadata.xml index 0dfa05f7462f..0b8f70011239 100644 --- a/sci-mathematics/yices2/metadata.xml +++ b/sci-mathematics/yices2/metadata.xml @@ -1,11 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both @@ -15,11 +16,11 @@ which includes tuples and scalar types. You can also use Yices 2 as a library in your software. </longdescription> - <upstream> - <bugs-to>https://github.com/SRI-CSL/yices2/issues/</bugs-to> - </upstream> - <use> - <flag name="mcsat">Enable support for MCSAT</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <use> + <flag name="mcsat">Enable support for MCSAT</flag> + </use> + <upstream> + <bugs-to>https://github.com/SRI-CSL/yices2/issues/</bugs-to> + <remote-id type="github">SRI-CSL/yices2</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index c074608872c5..75c04a60e2f4 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -1,14 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>mgorny@gentoo.org</email> - </maintainer> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <longdescription> + <maintainer type="person"> + <email>mgorny@gentoo.org</email> + </maintainer> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <longdescription> Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight integration of @@ -25,12 +25,12 @@ execution, model-based software development, network verification, and optimization. </longdescription> - <upstream> - <bugs-to>https://github.com/Z3Prover/z3/issues/</bugs-to> - </upstream> - <use> - <flag name="isabelle">Add integration support for the Isabelle/HOL + <use> + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> - </use> - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + </use> + <upstream> + <bugs-to>https://github.com/Z3Prover/z3/issues/</bugs-to> + <remote-id type="github">Z3Prover/z3</remote-id> + </upstream> +</pkgmetadata> |