summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/ginac: revbump for fig2dev changeSam James2023-11-131-0/+0
* sci-mathematics/ginac: use transfig from fig2devPacho Ramos2023-11-121-1/+1
* sci-mathematics/octave: Use transfig from fig2devPacho Ramos2023-11-121-0/+241
* sci-mathematics/mathematica: add option to install from non-bundle fileAndreas K. Hüttel2023-11-103-2/+7
* sci-mathematics/opensmt: fix build with gcc 14Kostadin Shishmanov2023-11-072-1/+71
* sci-mathematics/z3: add 4.12.2Andrew Ammerlaan2023-11-063-0/+125
* sci-mathematics/boolector: bump to 3.2.3Maciej Barć2023-11-023-0/+95
* sci-mathematics/btor2tools: patch includesMaciej Barć2023-11-022-6/+21
* sci-mathematics/proverif: require ocamloptMaciej Barć2023-11-022-6/+12
* sci-mathematics/pari: drop 2.15.3Michael Orlitzky2023-10-313-143/+0
* sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1Michael Orlitzky2023-10-314-18/+48
* sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560Sam James2023-10-311-1/+1
* sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560Sam James2023-10-311-1/+1
* sci-mathematics/lean: bump to 4.2.0_rc4Maciej Barć2023-10-262-0/+79
* sci-mathematics/lean: drop old 3.9999Maciej Barć2023-10-261-80/+0
* sci-mathematics/coq-mathcomp: bump to 1.17.0Maciej Barć2023-10-242-0/+26
* sci-mathematics/coq-serapi: bump to 0.18.1Maciej Barć2023-10-232-0/+73
* sci-mathematics/cryptominisat: bump to 5.11.15Maciej Barć2023-10-222-0/+40
* sci-mathematics/cryptominisat: drop old 5.11.12Maciej Barć2023-10-222-38/+0
* sci-mathematics/cryptominisat: drop old 5.11.11Maciej Barć2023-10-222-38/+0
* sci-mathematics/fricas: remove old revisionsAndrey Grozin2023-10-192-224/+0
* sci-mathematics/fricas: fix building with clozureclAndrey Grozin2023-10-192-12/+95
* sci-mathematics/cadabra: Stabilize 2.4.4.1 amd64, #915950Sam James2023-10-181-1/+1
* sci-mathematics/fricas: now compiles with sbcl-2.3.9Andrey Grozin2023-10-152-0/+174
* sci-mathematics/wxmaxima: bump to 23.10.0Andrey Grozin2023-10-122-0/+81
* sci-mathematics/fricas: remove old versionsAndrey Grozin2023-10-124-242/+0
* sci-mathematics/fricas: cannot be compiled with sbcl-2.3.9Andrey Grozin2023-10-121-0/+111
* sci-mathematics/kissat: drop old 3.0.0Maciej Barć2023-10-112-40/+0
* sci-mathematics/kissat: bump to 3.1.1Maciej Barć2023-10-112-0/+40
* sci-mathematics/cadical: bump to 1.8.0Maciej Barć2023-10-082-0/+40
* sci-mathematics/cadical: drop old 1.5.2-r1Maciej Barć2023-10-072-33/+0
* sci-mathematics/lean: drop old 3.49.0Maciej Barć2023-10-072-78/+0
* sci-mathematics/lean: drop old 3.50.3Maciej Barć2023-10-072-81/+0
* sci-mathematics/lean: drop old 3.51.0Maciej Barć2023-10-072-81/+0
* sci-mathematics/alt-ergo: remove unused patchMichael Mair-Keimberger2023-10-011-11/+0
* sci-mathematics/easycrypt: bump to 2023.09Maciej Barć2023-09-302-0/+51
* sci-mathematics/mathematica: add 13.3.1Andrew Ammerlaan2023-09-272-0/+189
* sci-mathematics/cryptominisat: bump to 5.11.14Maciej Barć2023-09-242-0/+40
* sci-mathematics/polymake: treecleanJakov Smolić2023-09-235-318/+0
* sci-mathematics/alt-ergo: drop old 2.4.2-r1Maciej Barć2023-09-222-57/+0
* sci-mathematics/alt-ergo: drop old 2.4.1-r2Maciej Barć2023-09-222-49/+0
* Package move dev-lisp/ecls to dev-lisp/eclUlrich Müller2023-09-146-20/+20
* sci-mathematics/cadabra: bump to 2.4.4.1Maciej Barć2023-09-092-0/+105
* sci-mathematics/coq: bump to 8.18.0Maciej Barć2023-09-092-0/+113
* sci-mathematics/coq: drop old 8.17.0Maciej Barć2023-09-092-113/+0
* sci-mathematics/coq: drop old 8.12.0-r2Maciej Barć2023-09-092-91/+0
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-08-292-80/+0
* sci-mathematics/ginac: bump to 1.8.7Andrey Grozin2023-08-292-0/+77
* sci-mathematics/wxmaxima: bump to 23.08.0Andrey Grozin2023-08-292-0/+81
* sci-mathematics/octave: add 8.3.0Michael Orlitzky2023-08-232-0/+242