| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/coq: bump to 8.19.2 |   Maciej Barć | 2024-06-10 | 2 | -0/+123 |
| * | sci-mathematics/palp: stabilize 2.21 for amd64 |   Michael Orlitzky | 2024-06-06 | 1 | -1/+1 |
| * | sci-mathematics/cubicle: ignore TEXTRELS |   Alfredo Tupone | 2024-06-04 | 1 | -1/+5 |
| * | sci-mathematics/z3: Keyword 4.13.0 mips, #779742 |   Matoro Mahri | 2024-06-04 | 1 | -1/+1 |
| * | sci-mathematics/maxima: add python3_12 |   Andrey Grozin | 2024-06-04 | 1 | -0/+233 |
| * | sci-mathematics/singular: fix dependency on flint |   Alain Emilia Anna Zscheile | 2024-06-02 | 1 | -3/+3 |
| * | sci-mathematics/wxmaxima: commit 24.02.1 back | Andrey Grozin | 2024-05-30 | 2 | -0/+79 |
| * | sci-mathematics/wxmaxima: remove old version | Andrey Grozin | 2024-05-30 | 2 | -79/+0 |
| * | sci-mathematics/wxmaxima: bump to 24.05.0 | Andrey Grozin | 2024-05-30 | 2 | -0/+79 |
| * | 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 |
GitWeb
