| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/eprover: do not call ar/ranlib directly |   Maciej Barć | 2023-01-04 | 1 | -0/+4 |
| * | sci-mathematics/wxmaxima: bump to 22.12.0 |   Andrey Grozin | 2023-01-04 | 2 | -0/+80 |
| * | sci-mathematics/eprover: new package; add 3.0_pre008 | Maciej Barć | 2023-01-04 | 3 | -0/+94 |
| * | sci-mathematics/pspp: new revision to fix a few security and QA issues. |   Michael Orlitzky | 2023-01-01 | 2 | -0/+115 |
| * | sci-mathematics/slepc: add 3.18.1 |   Matthias Maier | 2022-12-28 | 3 | -0/+120 |
| * | sci-mathematics/petsc: add 3.18.2 | Matthias Maier | 2022-12-28 | 2 | -0/+237 |
| * | sci-mathematics/lean: bump to 3.50.3 | Maciej Barć | 2022-12-27 | 2 | -0/+78 |
| * | sci-mathematics/lean: drop old 3.50.0 | Maciej Barć | 2022-12-27 | 2 | -78/+0 |
| * | sci-mathematics/frobby: update EAPI 6 -> 8 |   David Seifert | 2022-12-26 | 1 | -18/+14 |
| * | sci-mathematics/gappalib-coq: new package; add 1.5.2 | Maciej Barć | 2022-12-24 | 3 | -0/+53 |
| * | sci-mathematics/gappa: new package; add 1.4.1 | Maciej Barć | 2022-12-24 | 3 | -0/+62 |
| * | sci-mathematics/flocq: new package; add 4.1.0 | Maciej Barć | 2022-12-24 | 3 | -0/+50 |
| * | 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 |
GitWeb
