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/dunshire: update HOMEPAGE (http -> https)Michael Orlitzky2023-11-141-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: re-enable the test suiteMichael Orlitzky2023-11-132-6/+27
| | | | | | | | After adding another patch, the test suite once again passes for me (it hasn't for a few versions, but it did a long time ago). Let's enable it and get some feedback. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: new old package, add 4.11Michael Orlitzky2023-11-134-0/+232
| | | | | | | | | | | | | | | This is back from the dead after being removed for lack of perl-5.38 support. Only a month ago, upstream's opinion was that "any hacks we would try here will be in vain," but it looks like they've decided to adopt a short-term fix for perl-5.38. We bring it back, and make use of $NINJA_DEPEND while we're at it (samurai works fine). The new patch (and a short explanation from upstream) can be found on Debian bug 1042521. Bug: https://bugs.gentoo.org/909570 Closes: https://bugs.gentoo.org/917155 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/ginac: revbump for fig2dev changeSam James2023-11-131-0/+0
| | | | | Fixes: fe9f2c1a0ecda7000034fb75c3e5d8edb4e678f1 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/ginac: use transfig from fig2devPacho Ramos2023-11-121-1/+1
| | | | Signed-off-by: Pacho Ramos <pacho@gentoo.org>
* sci-mathematics/octave: Use transfig from fig2devPacho Ramos2023-11-121-0/+241
| | | | Signed-off-by: Pacho Ramos <pacho@gentoo.org>
* sci-mathematics/mathematica: add option to install from non-bundle fileAndreas K. Hüttel2023-11-103-2/+7
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/opensmt: fix build with gcc 14Kostadin Shishmanov2023-11-072-1/+71
| | | | | | | Closes: https://bugs.gentoo.org/916855 Signed-off-by: Kostadin Shishmanov <kocelfc@tutanota.com> Closes: https://github.com/gentoo/gentoo/pull/33708 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: add 4.12.2Andrew Ammerlaan2023-11-063-0/+125
| | | | | Closes: https://bugs.gentoo.org/916710 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/boolector: bump to 3.2.3Maciej Barć2023-11-023-0/+95
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/btor2tools: patch includesMaciej Barć2023-11-022-6/+21
| | | | | | Closes: https://bugs.gentoo.org/908486 Closes: https://bugs.gentoo.org/895224 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/proverif: require ocamloptMaciej Barć2023-11-022-6/+12
| | | | | Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pari: drop 2.15.3Michael Orlitzky2023-10-313-143/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1Michael Orlitzky2023-10-314-18/+48
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560Sam James2023-10-311-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560Sam James2023-10-311-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: bump to 4.2.0_rc4Maciej Barć2023-10-262-0/+79
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.9999Maciej Barć2023-10-261-80/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: bump to 1.17.0Maciej Barć2023-10-242-0/+26
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.18.1Maciej Barć2023-10-232-0/+73
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.15Maciej Barć2023-10-222-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: drop old 5.11.12Maciej Barć2023-10-222-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: drop old 5.11.11Maciej Barć2023-10-222-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/fricas: remove old revisionsAndrey Grozin2023-10-192-224/+0
| | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: fix building with clozureclAndrey Grozin2023-10-192-12/+95
| | | | | Bug: https://bugs.gentoo.org/915647 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950Sam James2023-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/fricas: now compiles with sbcl-2.3.9Andrey Grozin2023-10-152-0/+174
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.10.0Andrey Grozin2023-10-122-0/+81
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: remove old versionsAndrey Grozin2023-10-124-242/+0
| | | | | Bug: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: cannot be compiled with sbcl-2.3.9Andrey Grozin2023-10-121-0/+111
| | | | | Closes: https://bugs.gentoo.org/915586 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/kissat: drop old 3.0.0Maciej Barć2023-10-112-40/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/kissat: bump to 3.1.1Maciej Barć2023-10-112-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 1.8.0Maciej Barć2023-10-082-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.5.2-r1Maciej Barć2023-10-072-33/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.49.0Maciej Barć2023-10-072-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.3Maciej Barć2023-10-072-81/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.51.0Maciej Barć2023-10-072-81/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: remove unused patchMichael Mair-Keimberger2023-10-011-11/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33071 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 2023.09Maciej Barć2023-09-302-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathematica: add 13.3.1Andrew Ammerlaan2023-09-272-0/+189
| | | | | | Closes: https://bugs.gentoo.org/913011 Co-authored-by: K Cameron <cameron@ieee.org> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.14Maciej Barć2023-09-242-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/polymake: treecleanJakov Smolić2023-09-235-318/+0
| | | | | | Closes: https://bugs.gentoo.org/909570 Closes: https://bugs.gentoo.org/883153 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/alt-ergo: drop old 2.4.2-r1Maciej Barć2023-09-222-57/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: drop old 2.4.1-r2Maciej Barć2023-09-222-49/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* Package move dev-lisp/ecls to dev-lisp/eclUlrich Müller2023-09-146-20/+20
| | | | | Closes: https://bugs.gentoo.org/586230 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.4.1Maciej Barć2023-09-092-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.18.0Maciej Barć2023-09-092-0/+113
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.17.0Maciej Barć2023-09-092-113/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.12.0-r2Maciej Barć2023-09-092-91/+0
| | | | | | Closes: https://bugs.gentoo.org/888964 Closes: https://bugs.gentoo.org/889278 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-08-292-80/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>