| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280 |   Arthur Zamarin | 2023-12-17 | 1 | -1/+1 |
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 arm, #917280 | Arthur Zamarin | 2023-12-17 | 1 | -1/+1 |
| * | sci-mathematics/cgal: Stabilize 5.5.2 amd64, #920128 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/plfit: Stabilize 0.9.3 amd64, #920125 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/plfit: Stabilize 0.9.3 x86, #920125 | Arthur Zamarin | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/octave: Stabilize 8.3.0-r1 amd64, #917280 |   Joonas Niilola | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/ginac: Stabilize 1.8.7-r1 amd64, #917280 | Joonas Niilola | 2023-12-16 | 1 | -1/+1 |
| * | sci-mathematics/nauty: add 2.8.8 |   Michael Orlitzky | 2023-12-15 | 2 | -0/+81 |
| * | sci-mathematics/wxmaxima: remove old versions |   Andrey Grozin | 2023-12-15 | 3 | -161/+0 |
| * | sci-mathematics/wxmaxima: bump to 23.11.0 | Andrey Grozin | 2023-12-15 | 2 | -0/+81 |
| * | sci-mathematics/proverif: bump to 2.05 |   Maciej Barć | 2023-12-10 | 1 | -1/+1 |
| * | sci-mathematics/proverif: bump to 2.05 | Maciej Barć | 2023-12-10 | 2 | -0/+67 |
| * | sci-mathematics/z3: Bump to 4.12.4 |   Michał Górny | 2023-12-07 | 2 | -0/+108 |
| * | sci-mathematics/singular: drop USE=static-libs | Michael Orlitzky | 2023-12-06 | 1 | -5/+3 |
| * | sci-mathematics/singular: add 4.3.2_p10 |   François Bissey | 2023-12-06 | 2 | -0/+109 |
| * | sci-mathematics/z3: Bump to 4.12.3 | Michał Górny | 2023-12-05 | 2 | -0/+112 |
| * | sci-mathematics/cgal: Keyword 5.5.2 ppc64, #886101 | Arthur Zamarin | 2023-12-03 | 1 | -1/+1 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-02 | 2 | -108/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 x86, #919030 | Michał Górny | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 arm, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/lean: bump to 4.2.0 | Maciej Barć | 2023-11-30 | 2 | -0/+79 |
| * | sci-mathematics/singular: update LICENSE | Michael Orlitzky | 2023-11-27 | 1 | -1/+4 |
| * | sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176 |   Sam James | 2023-11-25 | 1 | -1/+1 |
| * | sci-mathematics/flint: Stabilize 2.9.0 arm64, #918175 | Arthur Zamarin | 2023-11-24 | 1 | -1/+1 |
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178 | Arthur Zamarin | 2023-11-24 | 1 | -1/+1 |
| * | sci-mathematics/wxmaxima: stabilize 23.07.0 for amd64 |   Pacho Ramos | 2023-11-24 | 1 | -1/+1 |
| * | sci-mathematics/maxima: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+6 |
| * | sci-mathematics/giac: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+5 |
| * | sci-mathematics/cliquer: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+2 |
| * | sci-mathematics/eclib: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+3 |
| * | sci-mathematics/pari: update LICENSE | Michael Orlitzky | 2023-11-22 | 1 | -1/+2 |
| * | sci-mathematics/dunshire: update HOMEPAGE (http -> https) | Michael Orlitzky | 2023-11-14 | 1 | -1/+1 |
| * | sci-mathematics/polymake: re-enable the test suite | Michael Orlitzky | 2023-11-13 | 2 | -6/+27 |
| * | sci-mathematics/polymake: new old package, add 4.11 | Michael Orlitzky | 2023-11-13 | 4 | -0/+232 |
| * | sci-mathematics/ginac: revbump for fig2dev change | Sam James | 2023-11-13 | 1 | -0/+0 |
| * | sci-mathematics/ginac: use transfig from fig2dev | Pacho Ramos | 2023-11-12 | 1 | -1/+1 |
| * | sci-mathematics/octave: Use transfig from fig2dev | Pacho Ramos | 2023-11-12 | 1 | -0/+241 |
| * | sci-mathematics/mathematica: add option to install from non-bundle file |   Andreas K. Hüttel | 2023-11-10 | 3 | -2/+7 |
| * | sci-mathematics/opensmt: fix build with gcc 14 |   Kostadin Shishmanov | 2023-11-07 | 2 | -1/+71 |
| * | sci-mathematics/z3: add 4.12.2 |   Andrew Ammerlaan | 2023-11-06 | 3 | -0/+125 |
| * | sci-mathematics/boolector: bump to 3.2.3 | Maciej Barć | 2023-11-02 | 3 | -0/+95 |
| * | sci-mathematics/btor2tools: patch includes | Maciej Barć | 2023-11-02 | 2 | -6/+21 |
| * | sci-mathematics/proverif: require ocamlopt | Maciej Barć | 2023-11-02 | 2 | -6/+12 |
| * | sci-mathematics/pari: drop 2.15.3 | Michael Orlitzky | 2023-10-31 | 3 | -143/+0 |
| * | sci-mathematics/giac: add 1.9.0.67, drop 1.9.0.55-r1 | Michael Orlitzky | 2023-10-31 | 4 | -18/+48 |
GitWeb
