| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/boolector: fix install on musl | Maciej Barć | 2024-04-09 | 1 | -4/+6 |
* | sci-mathematics/boolector: drop old 3.2.2_p20220110 | Maciej Barć | 2024-04-09 | 2 | -80/+0 |
* | sci-mathematics/slepc: add 3.20.1 | Matthias Maier | 2024-04-04 | 2 | -0/+127 |
* | sci-mathematics/singular: backport strict-aliasing/lto fix | Michael Orlitzky | 2024-04-02 | 2 | -9/+20 |
* | sci-mathematics/singular: mark as LTO-unsafe, strict-aliasing unsafe | Eli Schwartz | 2024-04-01 | 2 | -2/+18 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2024-03-23 | 2 | -120/+0 |
* | sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602 | Sam James | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.13.0 x86, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.13.0 arm, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
* | sci-mathematics/gfan: mark as LTO-unsafe | Eli Schwartz | 2024-03-22 | 1 | -1/+6 |
* | sci-mathematics/gimps: add 30.19.13 | Paolo Pedroni | 2024-03-20 | 2 | -0/+76 |
* | sci-mathematics/petsc: add 3.20.5 | Eli Schwartz | 2024-03-20 | 2 | -0/+241 |
* | sci-mathematics/petsc: mark as LTO-unsafe | Eli Schwartz | 2024-03-20 | 1 | -0/+5 |
* | sci-mathematics/petsc: drop outdated build time dep on which | Eli Schwartz | 2024-03-20 | 4 | -4/+0 |
* | sci-mathematics/petsc: add gitlab upstream metadata | Eli Schwartz | 2024-03-20 | 1 | -0/+3 |
* | sci-mathematics/gap: drop 4.12.2-r4 | Michael Orlitzky | 2024-03-19 | 3 | -187/+0 |
* | sci-mathematics/gap: add 4.13.0, drop 4.13.0_alpha2 | Michael Orlitzky | 2024-03-19 | 2 | -2/+2 |
* | sci-mathematics/z3: Remove old | Michał Górny | 2024-03-16 | 2 | -120/+0 |
* | sci-mathematics/z3: Stabilize 4.12.6 x86, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.12.6 arm, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/psmt2-frontend: remove unused patch(es) | Michael Mair-Keimberger | 2024-03-16 | 1 | -22/+0 |
* | sci-mathematics/giac: remove unused patches | Michael Mair-Keimberger | 2024-03-16 | 2 | -72/+0 |
* | sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2024-03-15 | 2 | -81/+0 |
* | sci-mathematics/ginac: drop 1.8.6 | Andreas Sturmlechner | 2024-03-15 | 3 | -89/+0 |
* | sci-mathematics/octave: drop 7.3.0-r2, 8.1.0, 8.2.0, 8.3.0 | Andreas Sturmlechner | 2024-03-15 | 8 | -1073/+0 |
* | sci-mathematics/wxmaxima: Stabilize 24.02.1 amd64, #920134 | Sam James | 2024-03-14 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: remove old versions | Andrey Grozin | 2024-03-13 | 3 | -162/+0 |
* | sci-mathematics/wxmaxima: bump to 24.02.2 | Andrey Grozin | 2024-03-13 | 2 | -0/+79 |
* | sci-mathematics/pari: add 2.15.5 | Michael Orlitzky | 2024-03-12 | 2 | -0/+138 |
* | sci-mathematics/nauty: fix build with autoconf-2.72 | Michael Orlitzky | 2024-03-11 | 2 | -0/+133 |
* | sci-mathematics/flint: add 3.1.0 | Michael Orlitzky | 2024-03-10 | 3 | -0/+114 |
* | sci-mathematics/singular: add 4.3.2_p16 | Michael Orlitzky | 2024-03-09 | 3 | -0/+296 |
* | sci-mathematics/plfit: add 0.9.5, drop 0.9.4 | Michael Orlitzky | 2024-03-09 | 3 | -42/+1 |
* | sci-mathematics/plfit: add 0.9.4 to fix underlinking issue | Michael Orlitzky | 2024-03-08 | 3 | -0/+75 |
* | sci-mathematics/psmt2-frontend: drop old 0.2 | Maciej Barć | 2024-03-08 | 2 | -44/+0 |
* | sci-mathematics/acl2: fix find call | Maciej Barć | 2024-03-08 | 1 | -3/+3 |
* | sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing | Eli Schwartz | 2024-03-08 | 1 | -13/+1 |
* | sci-mathematics/z3: Bump to 4.13.0 | Michał Górny | 2024-03-08 | 2 | -0/+120 |
* | sci-mathematics/acl2: restrict supported SBCL versions | Maciej Barć | 2024-03-07 | 1 | -3/+3 |
* | sci-mathematics/acl2: bump to 8.5_p20240307 | Maciej Barć | 2024-03-07 | 2 | -0/+112 |
* | sci-mathematics/palp: new package, add 2.21 | Michael Orlitzky | 2024-03-06 | 3 | -0/+73 |
* | sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafe | Eli Schwartz | 2024-03-05 | 2 | -1/+19 |
* | sci-mathematics/cadical: bump to 1.9.5 | Maciej Barć | 2024-03-04 | 2 | -0/+48 |