summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/eclib: drop 20221012Michael Orlitzky2023-07-162-41/+0
* sci-mathematics/eclib: Stabilize 20230424 amd64, #910411Sam James2023-07-161-1/+1
* sci-mathematics/singular: drop 4.3.1_p3Michael Orlitzky2023-07-152-104/+0
* sci-mathematics/coq-mathcomp: drop old 1.15.0-r1Maciej Barć2023-07-162-24/+0
* sci-mathematics/coq-serapi: drop old 0.16.3Maciej Barć2023-07-162-71/+0
* sci-mathematics/coq-serapi: drop old 0.16.2-r1Maciej Barć2023-07-162-68/+0
* sci-mathematics/coq-serapi: drop old 0.16.1Maciej Barć2023-07-162-67/+0
* sci-mathematics/coq: drop old 8.16.1Maciej Barć2023-07-162-121/+0
* sci-mathematics/coq: drop old 8.15.2Maciej Barć2023-07-162-121/+0
* sci-mathematics/easycrypt: drop old 2022.04_p20220505Maciej Barć2023-07-162-46/+0
* sci-mathematics/why3: drop old 1.5.1Maciej Barć2023-07-162-104/+0
* sci-mathematics/why3: drop old 1.4.1-r1Maciej Barć2023-07-162-99/+0
* sci-mathematics/coq: add pkg_preinst upgrade from 8.12Maciej Barć2023-07-164-0/+36
* sci-mathematics/flint: drop 2.8.4, 2.8.5Michael Orlitzky2023-07-153-156/+0
* sci-mathematics/vampire: bump to 4.8Maciej Barć2023-07-152-0/+60
* sci-mathematics/vampire: drop old 4.6.1-r2Maciej Barć2023-07-152-60/+0
* sci-mathematics/fricas: update HOMEPAGE, SRC_URIUlrich Müller2023-07-112-3/+4
* sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179Jakov Smolić2023-07-111-1/+1
* sci-mathematics/fricas: bump to 1.3.9Andrey Grozin2023-07-093-0/+112
* sci-mathematics/flint: remove hardcoded CFLAGSMatoro Mahri2023-07-092-0/+70
* sci-mathematics/flintqs: treecleanJakov Smolić2023-07-083-64/+0
* sci-mathematics/giac: unbundle x11-libs/gl2ps.Michael Orlitzky2023-07-072-9/+86
* sci-mathematics/polymake: add github upstream metadataSam James2023-07-041-0/+3
* sci-mathematics/fricas: Drop trivial Emacs site-init fileUlrich Müller2023-07-032-3/+1
* sci-mathematics/giac: fix and re-enable two disabled tests.Michael Orlitzky2023-06-304-36/+74
* sci-mathematics/opensmt: bump to 2.5.1Maciej Barć2023-06-282-0/+72
* sci-mathematics/opensmt: drop old 2.4.3-r2Maciej Barć2023-06-282-72/+0
* sci-mathematics/coq: bump to 8.17.1Maciej Barć2023-06-282-0/+113
* sci-mathematics/coq: drop old 8.13.0-r1Maciej Barć2023-06-282-89/+0
* sci-mathematics/cryptominisat: bump to 5.11.11Maciej Barć2023-06-252-0/+38
* sci-mathematics/giac: add 1.9.0.55Michael Orlitzky2023-06-223-0/+213