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/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>
* sci-mathematics/rstudio: treecleanJakov Smolić2022-08-2118-1013/+0
| | | | | | | | | | | | Closes: https://bugs.gentoo.org/766294 Closes: https://bugs.gentoo.org/696938 Closes: https://bugs.gentoo.org/531996 Closes: https://bugs.gentoo.org/818721 Closes: https://bugs.gentoo.org/727912 Closes: https://bugs.gentoo.org/836111 Closes: https://bugs.gentoo.org/831868 Closes: https://bugs.gentoo.org/855197 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.2Maciej Barć2022-08-202-0/+56
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Stabilize 4.10.2 x86, #865789Sam James2022-08-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789Sam James2022-08-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789Arthur Zamarin2022-08-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.10.2 arm, #865789Arthur Zamarin2022-08-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Bump to 4.11.0Michał Górny2022-08-192-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/normaliz: drop 3.1.3-r1, 3.8.10-r1Michael Orlitzky2022-08-163-133/+0
| | | | | Closes: https://bugs.gentoo.org/625912 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/normaliz: x86 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/normaliz: amd64 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8Andreas Sturmlechner2022-08-154-4/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/eclib: x86 stable wrt bug #864997Agostino Sarubbo2022-08-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/eclib: amd64 stable wrt bug #864997Agostino Sarubbo2022-08-131-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/octave: don't install test logs with FEATURES=test.Michael Orlitzky2022-08-121-2/+0
| | | | | | | | This was apparently intentional, but I guess I agree that these logs are not really end-user documentation and are therefore mis-dodoc'd. Closes: https://bugs.gentoo.org/861410 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lpsolve: keyword 5.5.2.0-r1 for ~loongWANG Xuerui2022-08-121-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* sci-mathematics/planarity: drop 3.0.1.1Michael Orlitzky2022-08-112-19/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: add 2.7.4Michael Orlitzky2022-08-112-0/+85
| | | | | | | | | | This version also modifies the nauty.pc file to report the same version information that the ebuild contains. This is one of a few bad choices we're bequeathed from the crazy upstream versioning scheme; it probably does no harm and makes the QA warning go away. Closes: https://bugs.gentoo.org/863053 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/planarity: Stabilize 3.0.2.0 x86, #864837Joonas Niilola2022-08-111-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>