diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2017-11-18 20:39:44 +0000 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2017-11-18 20:39:44 +0000 |
| commit | bce61aa3e4fe85fe411df858eb30ebe72a3a8f88 (patch) | |
| tree | b1c9615114a61663dd20c38cda7bb4b0a04ec6cd /sci-mathematics | |
| parent | sci-biology/bismark: Fix repoman warnings (diff) | |
| download | sci-bce61aa3e4fe85fe411df858eb30ebe72a3a8f88.tar.gz sci-bce61aa3e4fe85fe411df858eb30ebe72a3a8f88.tar.bz2 sci-bce61aa3e4fe85fe411df858eb30ebe72a3a8f88.zip | |
Consistently ident with tabs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'sci-mathematics')
39 files changed, 299 insertions, 300 deletions
diff --git a/sci-mathematics/Macaulay2/metadata.xml b/sci-mathematics/Macaulay2/metadata.xml index c92d667cb..a19ac4ea6 100644 --- a/sci-mathematics/Macaulay2/metadata.xml +++ b/sci-mathematics/Macaulay2/metadata.xml @@ -1,18 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tom111@gmx.de</email> - <name>Thomas Kahle</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <use> - <flag name="optimization">Disable to build with -O0 for debugging.</flag> - </use> - <longdescription lang="en"> + <maintainer type="person"> + <email>tom111@gmx.de</email> + <name>Thomas Kahle</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="optimization">Disable to build with -O0 for debugging.</flag> + </use> + <longdescription lang="en"> Macaulay2 is a research tool for algraic geometry and commutative algebra. </longdescription> diff --git a/sci-mathematics/Oid/metadata.xml b/sci-mathematics/Oid/metadata.xml index 11ac21047..1d93dd236 100644 --- a/sci-mathematics/Oid/metadata.xml +++ b/sci-mathematics/Oid/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tom111@gmx.de</email> - <name>Thomas Kahle</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>tom111@gmx.de</email> + <name>Thomas Kahle</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Oid is a tool to experiment with matroids </longdescription> </pkgmetadata> diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index efecc286f..e2db827ec 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index 8224139a5..b844eacad 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> Alt-Ergo is an open source automatic theorem prover dedicated to program verification. It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml index f83f44091..d77f1f1fc 100644 --- a/sci-mathematics/apron/metadata.xml +++ b/sci-mathematics/apron/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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 APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. The APRON library diff --git a/sci-mathematics/axel-vtkview/metadata.xml b/sci-mathematics/axel-vtkview/metadata.xml index ec9fa9d47..c38916f51 100644 --- a/sci-mathematics/axel-vtkview/metadata.xml +++ b/sci-mathematics/axel-vtkview/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> diff --git a/sci-mathematics/axel/metadata.xml b/sci-mathematics/axel/metadata.xml index ec9fa9d47..c38916f51 100644 --- a/sci-mathematics/axel/metadata.xml +++ b/sci-mathematics/axel/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> diff --git a/sci-mathematics/axiom/metadata.xml b/sci-mathematics/axiom/metadata.xml index d17eda6d5..514f7304d 100644 --- a/sci-mathematics/axiom/metadata.xml +++ b/sci-mathematics/axiom/metadata.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> </pkgmetadata> diff --git a/sci-mathematics/burrtools/metadata.xml b/sci-mathematics/burrtools/metadata.xml index 12aa01e21..aeaa6502a 100644 --- a/sci-mathematics/burrtools/metadata.xml +++ b/sci-mathematics/burrtools/metadata.xml @@ -1,17 +1,17 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> This (set of) program(s) will help you solve a certain kind of puzzle. Namely puzzles that are made out of square or dice shaped units, spheres or prisms with an equilateral triangle as base and where the pieces are also aligned along those grids in the solutions. </longdescription> - <upstream> - <remote-id type="sourceforge">burrtools</remote-id> - </upstream> + <upstream> + <remote-id type="sourceforge">burrtools</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/cadabra/metadata.xml b/sci-mathematics/cadabra/metadata.xml index b9793643c..0cc2fca48 100644 --- a/sci-mathematics/cadabra/metadata.xml +++ b/sci-mathematics/cadabra/metadata.xml @@ -1,9 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription>Cadabra is a 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 including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more.</longdescription> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription>Cadabra is a 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 including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many more.</longdescription> </pkgmetadata> diff --git a/sci-mathematics/cipi/metadata.xml b/sci-mathematics/cipi/metadata.xml index 1d7b2e537..ac95ce972 100644 --- a/sci-mathematics/cipi/metadata.xml +++ b/sci-mathematics/cipi/metadata.xml @@ -1,19 +1,19 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tom111@gmx.de</email> - <name>Thomas Kahle</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>tom111@gmx.de</email> + <name>Thomas Kahle</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> cipi is a threaded implementation of iterative proportional fitting. It is used to compute information projections iteratively. </longdescription> - <upstream> - <remote-id type="github">tom111/cipi</remote-id> - </upstream> + <upstream> + <remote-id type="github">tom111/cipi</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/dolfin/metadata.xml b/sci-mathematics/dolfin/metadata.xml index 48b4594a3..f35a5e9a9 100644 --- a/sci-mathematics/dolfin/metadata.xml +++ b/sci-mathematics/dolfin/metadata.xml @@ -1,26 +1,26 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> DOLFIN is the C++/Python interface of FEniCS, providing a consistent PSE (Problem Solving Environment) for ordinary and partial differential equations. </longdescription> - <use> - <flag name="cgal">Adds support for geometric algorithms with <pkg>sci-mathematics/cgal</pkg></flag> - <flag name="cholmod">Adds support for sparse Cholesky factorization with <pkg>sci-libs/cholmod</pkg></flag> - <flag name="hdf5">Adds support for <pkg>sci-libs/hdf5</pkg></flag> - <flag name="parmetis">Adds support for parallel graph partitioning with <pkg>sci-libs/parmetis</pkg></flag> - <flag name="petsc">Adds support for numerical linear algebra toolkit <pkg>sci-mathematics/petsc</pkg></flag> - <flag name="scotch">Adds support for graph partitioning with <pkg>sci-libs/scotch</pkg></flag> - <flag name="trilinos">Adds support for numerical linear algebra toolkit <pkg>sci-libs/trilinos</pkg></flag> - <flag name="umfpack">Adds support for sparse solving with <pkg>sci-libs/umfpack</pkg></flag> - <flag name="vtk">Adds support for the visualization toolkit <pkg>sci-libs/vtk</pkg></flag> - </use> - <upstream> - <remote-id type="bitbucket">fenics-project/dolfin</remote-id> - <remote-id type="launchpad">dolfin</remote-id> - </upstream> + <use> + <flag name="cgal">Adds support for geometric algorithms with <pkg>sci-mathematics/cgal</pkg></flag> + <flag name="cholmod">Adds support for sparse Cholesky factorization with <pkg>sci-libs/cholmod</pkg></flag> + <flag name="hdf5">Adds support for <pkg>sci-libs/hdf5</pkg></flag> + <flag name="parmetis">Adds support for parallel graph partitioning with <pkg>sci-libs/parmetis</pkg></flag> + <flag name="petsc">Adds support for numerical linear algebra toolkit <pkg>sci-mathematics/petsc</pkg></flag> + <flag name="scotch">Adds support for graph partitioning with <pkg>sci-libs/scotch</pkg></flag> + <flag name="trilinos">Adds support for numerical linear algebra toolkit <pkg>sci-libs/trilinos</pkg></flag> + <flag name="umfpack">Adds support for sparse solving with <pkg>sci-libs/umfpack</pkg></flag> + <flag name="vtk">Adds support for the visualization toolkit <pkg>sci-libs/vtk</pkg></flag> + </use> + <upstream> + <remote-id type="bitbucket">fenics-project/dolfin</remote-id> + <remote-id type="launchpad">dolfin</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/dsfmt/metadata.xml b/sci-mathematics/dsfmt/metadata.xml index 4f1226e40..f1ed0ae83 100644 --- a/sci-mathematics/dsfmt/metadata.xml +++ b/sci-mathematics/dsfmt/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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 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 diff --git a/sci-mathematics/flocq/metadata.xml b/sci-mathematics/flocq/metadata.xml index 3ee13d235..741e7a96c 100644 --- a/sci-mathematics/flocq/metadata.xml +++ b/sci-mathematics/flocq/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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 floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index 3fefb7811..7f2539fc0 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> 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 diff --git a/sci-mathematics/freefem++/metadata.xml b/sci-mathematics/freefem++/metadata.xml index b242c635b..7cbac49f7 100644 --- a/sci-mathematics/freefem++/metadata.xml +++ b/sci-mathematics/freefem++/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> FreeFem++ is an implementation of a language dedicated to the finite element method. It enables you to solve Partial Differential Equations (PDE) easily. diff --git a/sci-mathematics/gambit/metadata.xml b/sci-mathematics/gambit/metadata.xml index 14f19d7ee..e0ec892a5 100644 --- a/sci-mathematics/gambit/metadata.xml +++ b/sci-mathematics/gambit/metadata.xml @@ -1,20 +1,20 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>dongxuli2011@gmail.com</email> - <name>Dongxu Li</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <use> - <flag name="X"> + <maintainer type="person"> + <email>dongxuli2011@gmail.com</email> + <name>Dongxu Li</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="X"> Enable gui support using wxWidgets. </flag> - </use> - <upstream> - <remote-id type="sourceforge">gambit</remote-id> - </upstream> + </use> + <upstream> + <remote-id type="sourceforge">gambit</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/gap/metadata.xml b/sci-mathematics/gap/metadata.xml index 65be48d2e..7fa3c9717 100644 --- a/sci-mathematics/gap/metadata.xml +++ b/sci-mathematics/gap/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>A.G.Grozin@inp.nsk.su</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>A.G.Grozin@inp.nsk.su</email> + <name>Andrey Grozin</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 @@ -19,7 +19,7 @@ representations, rings, vector spaces, algebras, combinatorial structures, and more. </longdescription> - <use> - <flag name="xtom">Automatically generated description for xtom</flag> - </use> + <use> + <flag name="xtom">Automatically generated description for xtom</flag> + </use> </pkgmetadata> diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index 5d252260c..872d5ad20 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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 is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It has been used to write robust floating-point diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml index f71ba2afb..ba444cb94 100644 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ b/sci-mathematics/gappalib-coq/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> While Gappa is intended to be used directly, it can also act as a backend prover for the Why software verification plateform or as an automatic tactic for the Coq proof assistant. diff --git a/sci-mathematics/giac/metadata.xml b/sci-mathematics/giac/metadata.xml index 38e823926..aa9b2646b 100644 --- a/sci-mathematics/giac/metadata.xml +++ b/sci-mathematics/giac/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> 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 a replacement diff --git a/sci-mathematics/kash-bin/metadata.xml b/sci-mathematics/kash-bin/metadata.xml index 73bcc579d..fc53f2207 100644 --- a/sci-mathematics/kash-bin/metadata.xml +++ b/sci-mathematics/kash-bin/metadata.xml @@ -1,14 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tomka@gentoo.org</email> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> + <maintainer type="person"> + <email>tomka@gentoo.org</email> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> KANT is a computer algebra system for sophisticated computations in algebraic number fields that has been developed under the project leadership of Prof. Dr. M. E. Pohst at Technische Universität Berlin. diff --git a/sci-mathematics/kayali/metadata.xml b/sci-mathematics/kayali/metadata.xml index 334e81c07..def9a9d8c 100644 --- a/sci-mathematics/kayali/metadata.xml +++ b/sci-mathematics/kayali/metadata.xml @@ -1,17 +1,17 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. It is essentially a front end GUI forMaxima (and is easily extended to other CAS back-ends) and Gnuplot. </longdescription> - <upstream> - <remote-id type="sourceforge">kayali</remote-id> - </upstream> + <upstream> + <remote-id type="sourceforge">kayali</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/lattE-macchiato/metadata.xml b/sci-mathematics/lattE-macchiato/metadata.xml index 80f5588b7..f043b5060 100644 --- a/sci-mathematics/lattE-macchiato/metadata.xml +++ b/sci-mathematics/lattE-macchiato/metadata.xml @@ -1,15 +1,15 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tom111@gmx.de</email> - <name>Thomas Kahle</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>tom111@gmx.de</email> + <name>Thomas Kahle</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Macaulay2 is a research tool for algraic geometry and commutative algebra. </longdescription> diff --git a/sci-mathematics/libsfmt/metadata.xml b/sci-mathematics/libsfmt/metadata.xml index d17eda6d5..514f7304d 100644 --- a/sci-mathematics/libsfmt/metadata.xml +++ b/sci-mathematics/libsfmt/metadata.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> </pkgmetadata> diff --git a/sci-mathematics/ltl2ba/metadata.xml b/sci-mathematics/ltl2ba/metadata.xml index 0c6991d79..ae9640ffb 100644 --- a/sci-mathematics/ltl2ba/metadata.xml +++ b/sci-mathematics/ltl2ba/metadata.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> -</maintainer> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> </pkgmetadata> diff --git a/sci-mathematics/mathics/metadata.xml b/sci-mathematics/mathics/metadata.xml index d2e5a63b0..b578df1bf 100644 --- a/sci-mathematics/mathics/metadata.xml +++ b/sci-mathematics/mathics/metadata.xml @@ -1,4 +1,4 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/sci-mathematics/mdp/metadata.xml b/sci-mathematics/mdp/metadata.xml index bca69383e..63bb3d1f1 100644 --- a/sci-mathematics/mdp/metadata.xml +++ b/sci-mathematics/mdp/metadata.xml @@ -1,15 +1,15 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tim@cerazone.net</email> - <name>Tim Cera</name> - </maintainer> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription lang="en"> + <maintainer type="person"> + <email>tim@cerazone.net</email> + <name>Tim Cera</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Modular toolkit for Data Processing (MDP) is a Python data processing framework. Implemented algorithms include: Principal Component Analysis (PCA), Independent Component Analysis (ICA), Slow Feature Analysis (SFA), @@ -17,7 +17,7 @@ Analysis, Fisher Discriminant Analysis (FDA), Gaussian Classifiers, and Restricted Boltzmann Machines. </longdescription> - <upstream> - <remote-id type="sourceforge">mdp-toolkit</remote-id> - </upstream> + <upstream> + <remote-id type="sourceforge">mdp-toolkit</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/netgen/metadata.xml b/sci-mathematics/netgen/metadata.xml index 78d0a170b..a2cd926a4 100644 --- a/sci-mathematics/netgen/metadata.xml +++ b/sci-mathematics/netgen/metadata.xml @@ -1,14 +1,14 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <use> - <flag name="opencascade"> Enable OpenCASCADE support</flag> - </use> - <upstream> - <remote-id type="sourceforge">netgen-mesher</remote-id> - </upstream> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <use> + <flag name="opencascade"> Enable OpenCASCADE support</flag> + </use> + <upstream> + <remote-id type="sourceforge">netgen-mesher</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/open-axiom/metadata.xml b/sci-mathematics/open-axiom/metadata.xml index 130efc546..e1c513481 100644 --- a/sci-mathematics/open-axiom/metadata.xml +++ b/sci-mathematics/open-axiom/metadata.xml @@ -1,17 +1,17 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> OpenAxiom is an open source platform for symbolic, algebraic, and numerical computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. </longdescription> - <upstream> - <remote-id type="sourceforge">open-axiom</remote-id> - </upstream> + <upstream> + <remote-id type="sourceforge">open-axiom</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml index 0d54bf6c4..15984c1cd 100644 --- a/sci-mathematics/pff/metadata.xml +++ b/sci-mathematics/pff/metadata.xml @@ -1,15 +1,14 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) is a repository of a Coq library about floating-point arithmetic. It contains both definitions and proofs of basic facts, old and new properties and algorithms. </longdescription> - </pkgmetadata> diff --git a/sci-mathematics/pulp/metadata.xml b/sci-mathematics/pulp/metadata.xml index 83aff6f44..ce584d233 100644 --- a/sci-mathematics/pulp/metadata.xml +++ b/sci-mathematics/pulp/metadata.xml @@ -1,11 +1,11 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <upstream> - <remote-id type="pypi">PuLP</remote-id> - </upstream> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <upstream> + <remote-id type="pypi">PuLP</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/scilab/metadata.xml b/sci-mathematics/scilab/metadata.xml index 0d9212f42..da1c3fd2d 100644 --- a/sci-mathematics/scilab/metadata.xml +++ b/sci-mathematics/scilab/metadata.xml @@ -1,24 +1,24 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> Scilab is a matrix-based scientific software package. Scilab contains hundreds of built-in mathematical functions, rich data structures (including polynomials, rationals,linear systems, lists, etc...) and comes with a number of specific toolboxes for control, signal processing, ... </longdescription> - <use> - <flag name="gui">Build the Java base graphical interface</flag> - <flag name="umfpack">Adds support for sparse solving + <use> + <flag name="gui">Build the Java base graphical interface</flag> + <flag name="umfpack">Adds support for sparse solving with <pkg>sci-libs/umfpack</pkg></flag> - <flag name="matio">Enable support for MATLAB file through <pkg>sci-libs/matio</pkg></flag> - <flag name="xcos">Enable building hybrid dynamic systems modeler and + <flag name="matio">Enable support for MATLAB file through <pkg>sci-libs/matio</pkg></flag> + <flag name="xcos">Enable building hybrid dynamic systems modeler and simulator Xcos</flag> - <flag name="emf">Add suport for exporting to emf files</flag> - </use> + <flag name="emf">Add suport for exporting to emf files</flag> + </use> </pkgmetadata> diff --git a/sci-mathematics/tisean/metadata.xml b/sci-mathematics/tisean/metadata.xml index 04bcf9b8c..02d26ebf3 100644 --- a/sci-mathematics/tisean/metadata.xml +++ b/sci-mathematics/tisean/metadata.xml @@ -1,11 +1,11 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>jlec@gentoo.org</email> - <name>Justin Lecher (jlec)</name> - </maintainer> - <upstream> - <remote-id type="github">heggus/Tisean</remote-id> - </upstream> + <maintainer type="person"> + <email>jlec@gentoo.org</email> + <name>Justin Lecher (jlec)</name> + </maintainer> + <upstream> + <remote-id type="github">heggus/Tisean</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/ufc/metadata.xml b/sci-mathematics/ufc/metadata.xml index b3a913d46..9a93b9cc9 100644 --- a/sci-mathematics/ufc/metadata.xml +++ b/sci-mathematics/ufc/metadata.xml @@ -1,15 +1,15 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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"> UFC (Unified Form-assembly Code) is a unified framework for finite element assembly. More precisely, it defines a fixed interface for communicating low level routines (functions) for evaluating and assembling finite element variational forms. The UFC interface consists of a single header file ufc.h that specifies a C++ interface that must be implemented by code that complies with the UFC specification. </longdescription> - <upstream> - <remote-id type="bitbucket">fenics-project/ufc-deprecated</remote-id> - <remote-id type="launchpad">ufc</remote-id> - </upstream> + <upstream> + <remote-id type="bitbucket">fenics-project/ufc-deprecated</remote-id> + <remote-id type="launchpad">ufc</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index 8bf80c2f2..bc61eeae6 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -1,25 +1,25 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> Why is a software verification platform. It contains a general-purpose verification condition generator (VCG) which is used as a back-end by other verification tools but it can also be used directly to verify programs. It also provides Krakatoa, a tool or the verification of Java programs and Caduceus, a tool for the verification of C programs. </longdescription> -<use> - <flag name="apron">Use <pkg>sci-mathematics/apron</pkg> library for + <use> + <flag name="apron">Use <pkg>sci-mathematics/apron</pkg> library for abstract interpretation</flag> - <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> - <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> - <flag name="gappa">Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag> - <flag name="frama-c">Add <pkg>sci-mathematics/frama-c</pkg> support</flag> - <flag name="pff">Add <pkg>sci-mathematics/pff</pkg> support</flag> - <flag name="why3">Add <pkg>sci-mathematics/why3</pkg> support</flag> -</use> + <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> + <flag name="gappa">Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag> + <flag name="frama-c">Add <pkg>sci-mathematics/frama-c</pkg> support</flag> + <flag name="pff">Add <pkg>sci-mathematics/pff</pkg> support</flag> + <flag name="why3">Add <pkg>sci-mathematics/why3</pkg> support</flag> + </use> </pkgmetadata> diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 5b97cd19d..47cb67ef8 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://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> 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, @@ -17,8 +17,8 @@ automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. </longdescription> -<use> - <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> - <flag name="frama-c">Enable Frama-C plugin</flag> -</use> + <use> + <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> + <flag name="frama-c">Enable Frama-C plugin</flag> + </use> </pkgmetadata> diff --git a/sci-mathematics/yorick/metadata.xml b/sci-mathematics/yorick/metadata.xml index 8c87d53b3..b1239e2c8 100644 --- a/sci-mathematics/yorick/metadata.xml +++ b/sci-mathematics/yorick/metadata.xml @@ -1,20 +1,20 @@ -<?xml version='1.0' encoding='UTF-8'?> +<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>A.G.Grozin@inp.nsk.su</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>A.G.Grozin@inp.nsk.su</email> + <name>Andrey Grozin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> Yorick is a language for scientific computing and rapid prototyping, similar to matlab. It can easily call C functions and libraries, has multidimensional arrays and built-in plot functions. </longdescription> - <upstream> - <remote-id type="sourceforge">yorick</remote-id> - </upstream> + <upstream> + <remote-id type="sourceforge">yorick</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 8425c0d53..ae9640ffb 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> </pkgmetadata> |