summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/normaliz: add 3.10.1, drop 3.10.0Michael Orlitzky2023-08-232-2/+2
* sci-mathematics/vampire: drop old 4.7-r1Maciej Barć2023-08-223-104/+0
* sci-mathematics/opensmt: drop old 2.5.1Maciej Barć2023-08-223-205/+0
* sci-mathematics/octave: Stabilize 8.1.0 arm, #908186Sam James2023-08-211-1/+1
* sci-mathematics/opensmt: fix .so installMaciej Barć2023-08-172-4/+6
* sci-mathematics/yacas: update upstream metadataMichael Orlitzky2023-08-161-1/+1
* sci-mathematics/yacas: add dev-libs/mathjax upper boundMichael Orlitzky2023-08-161-1/+2
* sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296Sam James2023-08-161-1/+1
* sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295Sam James2023-08-161-1/+1
* sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297Arthur Zamarin2023-08-151-1/+1
* sci-mathematics/kissat: bump to 3.1.0Maciej Barć2023-08-152-0/+40
* sci-mathematics/opensmt: bump to 2.5.2Maciej Barć2023-08-152-0/+72
* sci-mathematics/opensmt: drop old 2.5.0Maciej Barć2023-08-152-72/+0
* sci-mathematics/verifpal: new package; add 0.27.0Maciej Barć2023-08-134-0/+70
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-135-0/+173
* sci-mathematics/cryptominisat: drop old 5.11.4Maciej Barć2023-08-133-52/+0
* sci-mathematics/cryptominisat: bump to 5.11.12Maciej Barć2023-08-132-0/+38
* sci-mathematics/wxmaxima: bump to 23.07.0Andrey Grozin2023-08-123-0/+86
* sci-mathematics/petsc: add 3.19.4Matthias Maier2023-08-062-0/+237
* sci-mathematics/pari: new revision to fix USE=X handlingMichael Orlitzky2023-08-021-2/+14
* sci-mathematics/pari: add 2.15.4Michael Orlitzky2023-07-262-0/+133
* sci-mathematics/maxima: use new versions of gclAndrey Grozin2023-07-221-1/+1
* sci-mathematics/coq: remove dead codeMaciej Barć2023-07-172-18/+0