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/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>
* 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>