Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/maxima: drop 5.42.1-r1, EAPI-6--Andreas Sturmlechner2022-09-197-369/+0
| | | | | Closes: https://bugs.gentoo.org/867547 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: re-keyword 5.46.0 for ~ppcAndreas Sturmlechner2022-09-191-1/+1
| | | | | | Thanks-to: ernsteiswuerfel <erhard_f@mailbox.org> Bug: https://bugs.gentoo.org/778293 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/why3: bump to 1.5.1Maciej Barć2022-09-192-0/+104
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gmm: drop 5.1, 5.3Andreas Sturmlechner2022-09-163-46/+0
| | | | | Closes: https://bugs.gentoo.org/867541 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 ppc64, #867541Arthur Zamarin2022-09-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/maxima: update ManifestUlrich Müller2022-09-161-1/+0
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/maxima: Revert "drop 5.42.1-r1"Andreas Sturmlechner2022-09-167-0/+370
| | | | | | This reverts commit 9363c6359bfc0e1a025a2407b98be26fc3ceaa67. Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: drop 5.42.1-r1, 5.45.1-r2Andreas Sturmlechner2022-09-168-606/+0
| | | | | Closes: https://bugs.gentoo.org/867547 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0 x86, #867547Agostino Sarubbo2022-09-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 ppc, #867541Arthur Zamarin2022-09-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 x86, #867541Sam James2022-09-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: Stabilize 5.46.0 amd64, #867547Agostino Sarubbo2022-09-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4 amd64, #867541Agostino Sarubbo2022-09-151-2/+2
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/maxima: disable the failing test suite.Michael Orlitzky2022-09-141-1/+1
| | | | | | | | | | | Stabilization of maxima-5.46.0 is pending, but its test suite fails even after disabling a chunk of unmaintained "share" tests. The failures have all been reported upstream; for now let's just turn it off so we don't annoy users. Bug: https://bugs.gentoo.org/867547 Closes: https://bugs.gentoo.org/838202 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cadical: bump to 1.5.3Maciej Barć2022-09-133-0/+57
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: better slibtool fix in v6.4.0.Michael Orlitzky2022-09-111-0/+215
| | | | | | | | | | | | The --enable-link-all-dependencies flag was added to octave-6.4.0 to fix the build with slibtool, but that had some unintended consequences (bug 858554). The whole thing is moot in v7.2.0, but there's a better fix for v6.4.0: using --disable-no-undefined, which, double-negatively, allows for undefined symbols wherever they were causing problems. It still builds OK with rlibtool, ship it! Closes: https://bugs.gentoo.org/858554 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: remove slibtool workaround from v7.2.0.Michael Orlitzky2022-09-111-5/+0
| | | | | | | | | | | | The --enable-link-all-dependencies flag is apparently no longer needed with octave-7.2.0. Removing it from the ./configure invocation prevents mkoctfile from using the -loctave and -loctinterp flags by default. With octave-7.2.0 they should be harmless anyway, but it's nice to clean things up a bit when we can get away with it. Bug: https://bugs.gentoo.org/776583 Bug: https://bugs.gentoo.org/858554 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: add 4.7Michael Orlitzky2022-09-092-0/+123
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq-mathcomp: bump to 1.15.0Maciej Barć2022-09-072-0/+18
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0Maciej Barć2022-09-071-1/+1
| | | | | Closes: https://bugs.gentoo.org/869053 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.8.16Paolo Pedroni2022-09-072-0/+72
| | | | | | | Closes: https://bugs.gentoo.org/867709 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://github.com/gentoo/gentoo/pull/27089 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/giac: add 1.9.0.21, drop 1.9.0.19Michael Orlitzky2022-09-062-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq: drop old 8.15.0-r2Maciej Barć2022-09-062-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.15.1Maciej Barć2022-09-062-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.16.0Maciej Barć2022-09-062-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Bump to 4.11.2Michał Górny2022-09-042-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cgal: remove boost[threads(+)] usedepDavid Seifert2022-09-043-3/+3
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/jags: drop 4.2.0, EAPI-6--Andreas Sturmlechner2022-08-302-46/+0
| | | | | Closes: https://bugs.gentoo.org/867538 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/calc: drop 2.12.5.4, EAPI-6--Andreas Sturmlechner2022-08-303-220/+0
| | | | | Closes: https://bugs.gentoo.org/867544 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/jags: Stabilize 4.3.0 x86, #867538Jakov Smolić2022-08-301-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/calc: Stabilize 2.13.0.1 amd64, #867544Jakov Smolić2022-08-301-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/jags: Stabilize 4.3.0 amd64, #867538Jakov Smolić2022-08-301-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/sha1-polyml: drop 5.6_p1, EAPI-6--Andreas Sturmlechner2022-08-302-62/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/gsl-shell: drop 2.3.0_beta1-r1, EAPI-6--Andreas Sturmlechner2022-08-308-164/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/genius: drop 1.0.25, EAPI-6--Andreas Sturmlechner2022-08-303-232/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/lean: drop old 3.45.0Maciej Barć2022-08-302-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.48.0Maciej Barć2022-08-302-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/petsc: use <pkg> tags in metadata.xmlPetr Vaněk2022-08-261-4/+4
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/sha1-polyml: avoid distfile conflict with dev-lang/polymlAndrew Ammerlaan2022-08-262-2/+2
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/sha1-polyml: add 5.9Andrew Ammerlaan2022-08-262-0/+57
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/sha1-polyml: Update package metadataPetr Vaněk2022-08-261-4/+4
| | | | | | | | | | | | - Fix indentation - Use <pkg> tags in <longdescription> - Remove note about sci-mathematics/isabelle package which is not in the tree since commit 7d2aafd09b8f ("sci-mathematics/isabelle: Remove last-rited pkg") Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Closes: https://github.com/gentoo/gentoo/pull/27020 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.1.2Maciej Barć2022-08-262-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.44.1Maciej Barć2022-08-262-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.47.0Maciej Barć2022-08-262-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: fix liveMaciej Barć2022-08-261-3/+3
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/primecount: add 7.4Michael Orlitzky2022-08-222-0/+55
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: add 8.0Michael Orlitzky2022-08-222-0/+51
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/agda: treecleanJakov Smolić2022-08-214-190/+0
| | | | | | | Closes: https://bugs.gentoo.org/540230 Closes: https://bugs.gentoo.org/634944 Closes: https://bugs.gentoo.org/279085 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/agda-stdlib: treecleanJakov Smolić2022-08-214-85/+0
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>