summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/slepc: add 3.19.1Matthias Maier2023-06-192-0/+127
* sci-mathematics/petsc: add 3.19.2Matthias Maier2023-06-192-0/+237
* sci-mathematics/cgal: add 5.5.2Matthias Maier2023-06-192-0/+62
* sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183Sam James2023-06-101-2/+2
* sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/octave: Stabilize 8.1.0 arm64, #908186Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/nauty: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/normaliz: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/ginac: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/wxmaxima: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/unuran: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/singular: destabilize for ~x86Arthur Zamarin2023-06-092-2/+2
* sci-mathematics/rw: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/rngstreams: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/pspp: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/prng: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2