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/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>
* sci-mathematics/ginac: bump to 1.8.7Andrey Grozin2023-08-292-0/+77
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.08.0Andrey Grozin2023-08-292-0/+81
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/octave: add 8.3.0Michael Orlitzky2023-08-232-0/+242
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/normaliz: add 3.10.1, drop 3.10.0Michael Orlitzky2023-08-232-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/vampire: drop old 4.7-r1Maciej Barć2023-08-223-104/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.5.1Maciej Barć2023-08-223-205/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: Stabilize 8.1.0 arm, #908186Sam James2023-08-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/opensmt: fix .so installMaciej Barć2023-08-172-4/+6
| | | | | Closes: https://bugs.gentoo.org/912314 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/yacas: update upstream metadataMichael Orlitzky2023-08-161-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/yacas: add dev-libs/mathjax upper boundMichael Orlitzky2023-08-161-1/+2
| | | | | | | | Upstream bundles mathjax-2.x, so when we add mathjax-3.x, bad things will happen otherwise. Bug: https://bugs.gentoo.org/837722 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296Sam James2023-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295Sam James2023-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297Arthur Zamarin2023-08-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/kissat: bump to 3.1.0Maciej Barć2023-08-152-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: bump to 2.5.2Maciej Barć2023-08-152-0/+72
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.5.0Maciej Barć2023-08-152-72/+0
| | | | | Closes: https://bugs.gentoo.org/894728 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/verifpal: new package; add 0.27.0Maciej Barć2023-08-134-0/+70
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-135-0/+173
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: drop old 5.11.4Maciej Barć2023-08-133-52/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.12Maciej Barć2023-08-132-0/+38
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.07.0Andrey Grozin2023-08-123-0/+86
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/petsc: add 3.19.4Matthias Maier2023-08-062-0/+237
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/pari: new revision to fix USE=X handlingMichael Orlitzky2023-08-021-2/+14
| | | | | | | | | | | | | | | | | Pari's build system is interesting, and choosing a graphics library (for use in plotting) is... not straightforward. We have two patches that affect it, and still nobody has noticed in all this time that USE=X does precisely nothing at all. I've just sent one of those patches, for building against fltk, upstream. To avoid having to reroll the other patch and add an X11 case to it, this revision switches from using e.g. the "--with-fltk" flag to using "--graphic=fltk" instead. This turns out to be a stronger hint to the build system, and more imporantly supports both none/X11 as options, unlike --with-foo. Hopefully it allows us to go patch-free with the next release of pari. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: add 2.15.4Michael Orlitzky2023-07-262-0/+133
| | | | | | | | I've dropped pari-2.9.4-ppc.patch from this version to see if it's still necessary, and to report the problem upstream if so. Closes: https://bugs.gentoo.org/891887 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: use new versions of gclAndrey Grozin2023-07-221-1/+1
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/coq: remove dead codeMaciej Barć2023-07-172-18/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eclib: drop 20221012Michael Orlitzky2023-07-162-41/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: Stabilize 20230424 amd64, #910411Sam James2023-07-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: drop 4.3.1_p3Michael Orlitzky2023-07-152-104/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq-mathcomp: drop old 1.15.0-r1Maciej Barć2023-07-162-24/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.3Maciej Barć2023-07-162-71/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.2-r1Maciej Barć2023-07-162-68/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.1Maciej Barć2023-07-162-67/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.16.1Maciej Barć2023-07-162-121/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.15.2Maciej Barć2023-07-162-121/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: drop old 2022.04_p20220505Maciej Barć2023-07-162-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: drop old 1.5.1Maciej Barć2023-07-162-104/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>