summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/yices2: new package; add 2.6.4Maciej Barć2022-12-183-0/+74
* sci-mathematics/cudd: new package; add 3.0.0Maciej Barć2022-12-183-0/+42
* sci-mathematics/libpoly: new package; add 0.1.11Maciej Barć2022-12-183-0/+80
* sci-mathematics/octave: Stabilize 7.3.0-r1 amd64, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 x86, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/cgal: Stabilize 5.5 amd64, #886895Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 arm, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 7.3.0-r1 arm64, #887013Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 6.4.0-r4 amd64, #886641Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/flint: Stabilize 2.9.0 x86, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/arb: Stabilize 2.23.0 x86, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/flint: Stabilize 2.9.0 amd64, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/arb: Stabilize 2.23.0 amd64, #864999Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/cgal: Stabilize 5.5 x86, #886895Arthur Zamarin2022-12-181-1/+1
* sci-mathematics/octave: Stabilize 6.4.0-r4 x86, #886641Sam James2022-12-181-1/+1
* sci-mathematics/mathlib-tools: drop old 1.2.0Maciej Barć2022-12-172-52/+0
* sci-mathematics/mathlib-tools: bump to 1.3.2Maciej Barć2022-12-172-0/+54
* sci-mathematics/gmm: add 5.4.2Amy Liffey2022-12-162-0/+14
* sci-mathematics/lean: bump to 3.50.0Maciej Barć2022-12-152-0/+78
* sci-mathematics/lean: drop old 3.48.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/lean: drop old 3.47.0Maciej Barć2022-12-152-78/+0
* sci-mathematics/polymake: stabilize 4.6-r1 for amd64Andreas K. Hüttel2022-12-111-1/+1
* sci-mathematics/cadabra: drop old 2.4.0.2Maciej Barć2022-12-062-105/+0
* sci-mathematics/cadabra: drop old 2.3.9.3Maciej Barć2022-12-062-100/+0
* sci-mathematics/cadabra: bump to 2.4.3.2Maciej Barć2022-12-062-0/+105
* sci-mathematics/picosat: fix patch applyMaciej Barć2022-12-061-1/+4
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-064-0/+58
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
* sci-mathematics/glpk: keyword 5.0-r1 for ~loongWANG Xuerui2022-12-041-2/+2
* sci-mathematics/rngstreams: use HTTPSSam James2022-12-031-2/+2
* sci-mathematics/unuran: add 1.9.0Sam James2022-12-033-0/+87
* sci-mathematics/rngstreams: workaround configure w/ non-bashSam James2022-12-031-2/+3
* sci-mathematics/unuran: use HTTPSSam James2022-12-031-3/+3
* Move {virtual -> app-alternatives}/yaccSam James2022-12-024-6/+6
* sci-mathematics/mathlib-tools: bump to 1.3.1Maciej Barć2022-11-292-0/+54
* sci-mathematics/cadabra: bump to 2.4.2.2Maciej Barć2022-11-282-0/+105
* sci-mathematics/z3: keyword 4.11.2 for ~loongWANG Xuerui2022-11-271-1/+1
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12Alfredo Tupone2022-11-262-9/+4
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-262-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-262-0/+112
* sci-mathematics/pari: add 2.15.1, drop 2.15.0Michael Orlitzky2022-11-232-1/+1
* sci-mathematics/octave: drop 5.2.0Andreas Sturmlechner2022-11-234-223/+0
* sci-mathematics/jags: add 4.3.1Sam James2022-11-222-0/+48
* sci-mathematics/jags: use ver_cut in SRC_URISam James2022-11-221-5/+5
* sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl].Michael Orlitzky2022-11-201-1/+1
* sci-mathematics/gmp-ecm: drop 7.0.4-r4Michael Orlitzky2022-11-194-161/+0
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059Sam James2022-11-201-1/+1
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059Sam James2022-11-201-1/+1