summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/polymake: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/planarity: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/pari-data: destabilize for ~x86Arthur Zamarin2023-06-092-2/+2
* sci-mathematics/otter: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/octave: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/num-utils: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/maxima: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/mathomatic: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/lrcalc: destabilize for ~x86Arthur Zamarin2023-06-092-4/+4
* sci-mathematics/jags: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/gmp-ecm: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/gmm: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
* sci-mathematics/gimps: destabilize for ~x86Arthur Zamarin2023-06-092-3/+3
* sci-mathematics/gfan: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/frobby: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
* sci-mathematics/flintqs: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2