| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/petsc: drop superfluous USE=cxx |   Matthias Maier | 2022-05-25 | 1 | -8/+4 |
| * | sci-mathematics/slepc: drop 3.13.1, 3.14.2, 3.15.0 | Matthias Maier | 2022-05-25 | 4 | -210/+0 |
| * | sci-mathematics/petsc: drop 3.13.1, 3.14.6, 3.15.0, 3.15.0-r1 | Matthias Maier | 2022-05-25 | 8 | -919/+0 |
| * | sci-mathematics/slepc: add 3.17.1 | Matthias Maier | 2022-05-25 | 2 | -0/+69 |
| * | sci-mathematics/petsc: add 3.17.1 | Matthias Maier | 2022-05-25 | 2 | -0/+195 |
| * | sci-mathematics/octave: add sundials upper bound |   Sam James | 2022-05-26 | 1 | -1/+2 |
| * | sci-mathematics/dunshire: new revision with python-3.10 support. |   Michael Orlitzky | 2022-05-18 | 1 | -3/+3 |
| * | sci-mathematics/lean: drop old 3.41.0 |   Maciej Barć | 2022-05-18 | 2 | -76/+0 |
| * | sci-mathematics/lean: bump to 3.43.0 | Maciej Barć | 2022-05-18 | 2 | -0/+76 |
| * | sci-mathematics/rkward: 0.7.3 version bump |   Andreas Sturmlechner | 2022-05-18 | 2 | -0/+58 |
| * | sci-mathematics/octave: Keyword 6.4.0-r2 hppa, #757822 | Sam James | 2022-05-17 | 1 | -1/+1 |
| * | sci-mathematics/primecount: [QA] use tc-check-openmp correctly |   David Seifert | 2022-05-16 | 1 | -1/+6 |
| * | sci-mathematics/gretl: [QA] use tc-check-openmp correctly | David Seifert | 2022-05-16 | 1 | -4/+6 |
| * | sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctly | David Seifert | 2022-05-16 | 2 | -3/+12 |
| * | sci-mathematics/agda-stdlib: egrep -> grep -E | Sam James | 2022-05-15 | 1 | -2/+2 |
| * | sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmp | David Seifert | 2022-05-14 | 3 | -7/+20 |
| * | sci-mathematics/gmp-ecm: fix qa WhitespaceFound |   Conrad Kostecki | 2022-05-14 | 1 | -2/+2 |
| * | sci-mathematics/normaliz: new upstream version 3.9.3. | Michael Orlitzky | 2022-05-08 | 3 | -1/+71 |
| * | sci-mathematics/topcom: new revision to fix gmp dependency. | Michael Orlitzky | 2022-05-07 | 1 | -1/+2 |
| * | sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild. | Michael Orlitzky | 2022-05-07 | 3 | -381/+0 |
| * | sci-mathematics/topcom: new revision with miscellaneous fixes. | Michael Orlitzky | 2022-05-07 | 3 | -73/+181 |
| * | sci-mathematics/easycrypt: add Why3 constraints for older EC versions | Maciej Barć | 2022-05-07 | 2 | -2/+2 |
| * | sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2 | Maciej Barć | 2022-05-07 | 2 | -46/+0 |
| * | sci-mathematics/easycrypt: bump to 2022.04_p20220505 | Maciej Barć | 2022-05-07 | 2 | -0/+46 |
| * | sci-mathematics/why3: bump to 1.5.0 |   François-Xavier Carton | 2022-05-07 | 3 | -0/+105 |
| * | sci-mathematics/octave: don't install *.la files. | Michael Orlitzky | 2022-05-07 | 1 | -0/+2 |
| * | sci-mathematics/gmp-ecm: upstream bump |   François Bissey | 2022-05-06 | 3 | -0/+67 |
| * | sci-mathematics/z3: Bump to 4.8.17 |   Michał Górny | 2022-05-05 | 2 | -0/+109 |
| * | sci-mathematics/octave: fix Java dependency | Sam James | 2022-05-05 | 1 | -2/+2 |
| * | sci-mathematics/octave: add rapidjson USE flag | Sam James | 2022-05-05 | 2 | -2/+5 |
| * | sci-mathematics/octave: tidy up 7.1.0 | Sam James | 2022-05-05 | 1 | -21/+14 |
| * | sci-mathematics/octave: fix patch filename | Sam James | 2022-05-05 | 2 | -2/+2 |
| * | sci-mathematics/octave: unkeyword 7.1.0 | Sam James | 2022-05-05 | 1 | -1/+2 |
| * | sci-mathematics/octave: patch 6.4.0 for Qt as well | Sam James | 2022-05-05 | 2 | -1/+3 |
| * | sci-mathematics/octave: use configure.ac patch | Sam James | 2022-05-05 | 1 | -59/+18 |
| * | sci-mathematics/octave: style tweaks | Sam James | 2022-05-05 | 2 | -5/+5 |
| * | sci-mathematics/octave: version bump to 7.1.0 |   Thamognya Kodi | 2022-05-05 | 3 | -0/+277 |
| * | sci-mathematics/easycrypt: bump to 2022.04 | Maciej Barć | 2022-04-27 | 2 | -0/+44 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-04-26 | 3 | -168/+0 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665 |   Arthur Zamarin | 2022-04-26 | 1 | -1/+1 |
| * | sci-mathematics/z3: Keyword 4.8.16 sparc, #779742 | Sam James | 2022-04-26 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| * | sci-mathematics/z3: Bump to 4.8.16 | Michał Górny | 2022-04-24 | 2 | -0/+109 |
| * | sci-mathematics/giac: upstream bump | François Bissey | 2022-04-22 | 2 | -0/+167 |
| * | sci-mathematics/singular: added upstream fixes for #776643 and #830279 | François Bissey | 2022-04-22 | 3 | -0/+64 |
| * | sci-mathematics/singular: upstream bump | François Bissey | 2022-04-22 | 2 | -0/+114 |
| * | sci-mathematics/coq-serapi: fix elisp libraries installation | Maciej Barć | 2022-04-20 | 1 | -1/+1 |
GitWeb
