| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 ppc64, #916560 | Sam James | 2023-10-31 | 1 | -1/+1 |
| * | sci-mathematics/pari: Stabilize 2.15.4-r1 amd64, #916560 | Sam James | 2023-10-31 | 1 | -1/+1 |
| * | sci-mathematics/lean: bump to 4.2.0_rc4 | Maciej Barć | 2023-10-26 | 2 | -0/+79 |
| * | sci-mathematics/lean: drop old 3.9999 | Maciej Barć | 2023-10-26 | 1 | -80/+0 |
| * | sci-mathematics/coq-mathcomp: bump to 1.17.0 | Maciej Barć | 2023-10-24 | 2 | -0/+26 |
| * | sci-mathematics/coq-serapi: bump to 0.18.1 | Maciej Barć | 2023-10-23 | 2 | -0/+73 |
| * | sci-mathematics/cryptominisat: bump to 5.11.15 | Maciej Barć | 2023-10-22 | 2 | -0/+40 |
| * | sci-mathematics/cryptominisat: drop old 5.11.12 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| * | sci-mathematics/cryptominisat: drop old 5.11.11 | Maciej Barć | 2023-10-22 | 2 | -38/+0 |
| * | sci-mathematics/fricas: remove old revisions |   Andrey Grozin | 2023-10-19 | 2 | -224/+0 |
| * | sci-mathematics/fricas: fix building with clozurecl | Andrey Grozin | 2023-10-19 | 2 | -12/+95 |
GitWeb
