| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/yices2: new package; add 2.6.4 | Maciej Barć | 2022-12-18 | 3 | -0/+74 |
* | sci-mathematics/cudd: new package; add 3.0.0 | Maciej Barć | 2022-12-18 | 3 | -0/+42 |
* | sci-mathematics/libpoly: new package; add 0.1.11 | Maciej Barć | 2022-12-18 | 3 | -0/+80 |
* | sci-mathematics/octave: Stabilize 7.3.0-r1 amd64, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 7.3.0-r1 x86, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/cgal: Stabilize 5.5 amd64, #886895 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 7.3.0-r1 arm, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 7.3.0-r1 arm64, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 6.4.0-r4 amd64, #886641 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.9.0 x86, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/arb: Stabilize 2.23.0 x86, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 2.9.0 amd64, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/arb: Stabilize 2.23.0 amd64, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/cgal: Stabilize 5.5 x86, #886895 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/octave: Stabilize 6.4.0-r4 x86, #886641 | Sam James | 2022-12-18 | 1 | -1/+1 |
* | sci-mathematics/mathlib-tools: drop old 1.2.0 | Maciej Barć | 2022-12-17 | 2 | -52/+0 |
* | sci-mathematics/mathlib-tools: bump to 1.3.2 | Maciej Barć | 2022-12-17 | 2 | -0/+54 |
* | sci-mathematics/gmm: add 5.4.2 | Amy Liffey | 2022-12-16 | 2 | -0/+14 |
* | sci-mathematics/lean: bump to 3.50.0 | Maciej Barć | 2022-12-15 | 2 | -0/+78 |
* | sci-mathematics/lean: drop old 3.48.0 | Maciej Barć | 2022-12-15 | 2 | -78/+0 |
* | sci-mathematics/lean: drop old 3.47.0 | Maciej Barć | 2022-12-15 | 2 | -78/+0 |
* | sci-mathematics/polymake: stabilize 4.6-r1 for amd64 | Andreas K. Hüttel | 2022-12-11 | 1 | -1/+1 |
* | sci-mathematics/cadabra: drop old 2.4.0.2 | Maciej Barć | 2022-12-06 | 2 | -105/+0 |
* | sci-mathematics/cadabra: drop old 2.3.9.3 | Maciej Barć | 2022-12-06 | 2 | -100/+0 |
* | sci-mathematics/cadabra: bump to 2.4.3.2 | Maciej Barć | 2022-12-06 | 2 | -0/+105 |
* | sci-mathematics/picosat: fix patch apply | Maciej Barć | 2022-12-06 | 1 | -1/+4 |
* | sci-mathematics/picosat: new package; add 965 | Maciej Barć | 2022-12-06 | 4 | -0/+58 |
* | sci-mathematics/cvc4: add github upstream metadata | Alfredo Tupone | 2022-12-05 | 1 | -0/+3 |
* | sci-mathematics/glpk: keyword 5.0-r1 for ~loong | WANG Xuerui | 2022-12-04 | 1 | -2/+2 |
* | sci-mathematics/rngstreams: use HTTPS | Sam James | 2022-12-03 | 1 | -2/+2 |
* | sci-mathematics/unuran: add 1.9.0 | Sam James | 2022-12-03 | 3 | -0/+87 |
* | sci-mathematics/rngstreams: workaround configure w/ non-bash | Sam James | 2022-12-03 | 1 | -2/+3 |
* | sci-mathematics/unuran: use HTTPS | Sam James | 2022-12-03 | 1 | -3/+3 |
* | Move {virtual -> app-alternatives}/yacc | Sam James | 2022-12-02 | 4 | -6/+6 |
* | sci-mathematics/mathlib-tools: bump to 1.3.1 | Maciej Barć | 2022-11-29 | 2 | -0/+54 |
* | sci-mathematics/cadabra: bump to 2.4.2.2 | Maciej Barć | 2022-11-28 | 2 | -0/+105 |
* | sci-mathematics/z3: keyword 4.11.2 for ~loong | WANG Xuerui | 2022-11-27 | 1 | -1/+1 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 |
* | sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12 | Alfredo Tupone | 2022-11-26 | 2 | -9/+4 |
* | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | Maciej Barć | 2022-11-26 | 2 | -0/+91 |
* | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 |
* | sci-mathematics/coq: bump to 8.16.1 | Maciej Barć | 2022-11-26 | 2 | -0/+112 |
* | sci-mathematics/pari: add 2.15.1, drop 2.15.0 | Michael Orlitzky | 2022-11-23 | 2 | -1/+1 |
* | sci-mathematics/octave: drop 5.2.0 | Andreas Sturmlechner | 2022-11-23 | 4 | -223/+0 |
* | sci-mathematics/jags: add 4.3.1 | Sam James | 2022-11-22 | 2 | -0/+48 |
* | sci-mathematics/jags: use ver_cut in SRC_URI | Sam James | 2022-11-22 | 1 | -5/+5 |
* | sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl]. | Michael Orlitzky | 2022-11-20 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: drop 7.0.4-r4 | Michael Orlitzky | 2022-11-19 | 4 | -161/+0 |
* | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 |