| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/lean: bump to 3.50.2 | Maciej Barć | 2022-12-24 | 2 | -0/+78 |
* | sci-mathematics/lean: drop old 3.49.1 | Maciej Barć | 2022-12-24 | 2 | -78/+0 |
* | sci-mathematics/giac: drop 1.7.0.13-r1 | Michael Orlitzky | 2022-12-23 | 3 | -200/+0 |
* | sci-mathematics/giac: stabilize 1.9.0.29-r1 for amd64 | Michael Orlitzky | 2022-12-23 | 1 | -1/+1 |
* | sci-mathematics/singular: use https mirror in SRC_URI instead of ftp | Michael Orlitzky | 2022-12-23 | 1 | -1/+1 |
* | sci-mathematics/singular: drop 4.2.0_p1 | Michael Orlitzky | 2022-12-23 | 6 | -292/+0 |
* | sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376 | Arthur Zamarin | 2022-12-23 | 1 | -1/+1 |
* | sci-mathematics/singular: Stabilize 4.3.1_p1 x86, #832376 | Arthur Zamarin | 2022-12-23 | 1 | -1/+1 |
* | sci-mathematics/lean: Stabilize 3.49.0 amd64, #887811 | Sam James | 2022-12-21 | 1 | -1/+1 |
* | sci-mathematics/lean: bump to 3.50.1 | Maciej Barć | 2022-12-22 | 2 | -0/+78 |
* | sci-mathematics/eclib: add 20221012 | Michael Orlitzky | 2022-12-21 | 2 | -0/+41 |
* | sci-mathematics/polymake: drop 4.6 | Michael Orlitzky | 2022-12-21 | 1 | -121/+0 |
* | sci-mathematics/polymake: add 4.8, drop 4.7 | Michael Orlitzky | 2022-12-21 | 2 | -1/+1 |
* | sci-mathematics/singular: drop 4.2.1_p3-r1 | Michael Orlitzky | 2022-12-20 | 2 | -121/+0 |
* | sci-mathematics/singular: add 4.3.1_p2 | Michael Orlitzky | 2022-12-20 | 2 | -0/+104 |
* | sci-mathematics/nauty: add 2.8.6 | Michael Orlitzky | 2022-12-20 | 2 | -0/+73 |
* | sci-mathematics/primecount: add 7.6 | Michael Orlitzky | 2022-12-20 | 2 | -0/+55 |
* | sci-mathematics/primesieve: add 11.0 | Michael Orlitzky | 2022-12-20 | 2 | -0/+51 |
* | sci-mathematics/relational: treeclean | Jakov Smolić | 2022-12-20 | 4 | -123/+0 |
* | sci-mathematics/octave: drop 7.2.0-r1 | Michael Orlitzky | 2022-12-20 | 2 | -209/+0 |
* | sci-mathematics/libpoly: remove -Werror | Maciej Barć | 2022-12-19 | 1 | -0/+8 |
* | sci-mathematics/cgal: drop 5.2-r2, 5.4.1 | Andreas Sturmlechner | 2022-12-19 | 4 | -163/+0 |
* | sci-mathematics/yacas: drop 1.7.0-r1 | Andreas Sturmlechner | 2022-12-19 | 5 | -418/+0 |
* | sci-mathematics/flint: drop 2.7.1-r1 | Andreas Sturmlechner | 2022-12-19 | 3 | -217/+0 |
* | 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 |