| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/singular: drop 4.3.2_p10 | Michael Orlitzky | 2024-05-29 | 2 | -115/+0 |
* | sci-mathematics/singular: stabilize 4.3.2_p16 for amd64 | Michael Orlitzky | 2024-05-29 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 3.1.0 arm64, #933042 | Sam James | 2024-05-29 | 1 | -1/+1 |
* | sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044 | Sam James | 2024-05-29 | 1 | -1/+1 |
* | sci-mathematics/flint: Stabilize 3.1.0 amd64, #933042 | Joonas Niilola | 2024-05-29 | 1 | -1/+1 |
* | sci-mathematics/mathmod: add missing remote-id | Michael Mair-Keimberger | 2024-05-26 | 1 | -0/+1 |
* | sci-mathematics/mathmod: add 11.1 | Michael Mair-Keimberger | 2024-05-26 | 2 | -0/+39 |
* | sci-mathematics/proverif: use edo instead of edob | Maciej Barć | 2024-05-24 | 3 | -9/+9 |
* | sci-mathematics/coq: use edo instead of edob | Maciej Barć | 2024-05-24 | 2 | -2/+2 |
* | sci-mathematics/ginac: BDEPEND on media-gfx/fig2dev | Mario Haustein | 2024-05-23 | 1 | -0/+76 |
* | sci-mathematics/cvc4: fix musl build | Alfredo Tupone | 2024-05-20 | 2 | -2/+89 |
* | sci-mathematics/topcom: add 1.1.2 | Michael Orlitzky | 2024-05-15 | 3 | -0/+351 |
* | sci-mathematics/gap: Stabilize 4.13.0 amd64, #931511 | Joonas Niilola | 2024-05-08 | 1 | -1/+1 |
* | */*: inline mirror://sourceforge | Lucio Sauer | 2024-04-30 | 14 | -28/+28 |
* | sci-mathematics/stp: enable py3.12 compat | Maciej Barć | 2024-04-29 | 1 | -18/+26 |
* | sci-mathematics/alectryon: enable py3.12 compat | Maciej Barć | 2024-04-29 | 1 | -6/+10 |
* | sci-mathematics/petsc: add subslot dep on sci-libs/hdf5 | Sam James | 2024-04-23 | 7 | -7/+7 |
* | sci-mathematics/cadabra: bump to 2.4.5.7 | Maciej Barć | 2024-04-23 | 3 | -0/+163 |
* | sci-mathematics/dunshire: add 0.1.3, drop 0.1.1-r4 | Michael Orlitzky | 2024-04-20 | 3 | -39/+27 |
* | sci-mathematics/cadabra: drop old 2.4.5.5 | Maciej Barć | 2024-04-19 | 2 | -113/+0 |
* | sci-mathematics/cadabra: bump to 2.4.5.6 | Maciej Barć | 2024-04-19 | 2 | -0/+113 |
* | sci-mathematics/ginac: BDEPEND on media-gfx/transfig | Andrey Grozin | 2024-04-18 | 1 | -0/+76 |
* | sci-mathematics/cadabra: bump to 2.4.5.5 | Maciej Barć | 2024-04-18 | 2 | -0/+113 |
* | sci-mathematics/cadabra: drop old 2.4.4.1 | Maciej Barć | 2024-04-18 | 2 | -105/+0 |
* | sci-mathematics/octave: fix qscintilla dep #916232 | José P. R. N. Assis | 2024-04-16 | 1 | -1/+1 |
* | sci-mathematics/gimps: drop 30.7.9, 30.19.13 | Paolo Pedroni | 2024-04-14 | 3 | -152/+0 |
* | sci-mathematics/gimps: Version Bump to 30.19.14 | Paolo Pedroni | 2024-04-14 | 2 | -0/+75 |
* | sci-mathematics/dunshire: support python-3.12, drop 3.9 | Michael Orlitzky | 2024-04-13 | 1 | -2/+2 |
* | 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 |