| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/maxima: Provide missing texinfo file. | Ulrich Müller | 2019-12-20 | 2 | -1/+4 |
* | sci-mathematics/pari-data: new version to force mirror of new tarballs. | Michael Orlitzky | 2019-12-16 | 3 | -30/+33 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+0 |
* | sci-mathematics/z3: remove unused patch(es) | Michael Mair-Keimberger | 2019-12-12 | 1 | -18/+0 |
* | sci-mathematics/pymc: [QA] Fix MissingTestRestrict | Michał Górny | 2019-12-12 | 1 | -0/+1 |
* | sci-mathematics/flint: [QA] Fix MissingTestRestrict | Michał Górny | 2019-12-12 | 3 | -6/+6 |
* | */*: [QA] Remove redundant `|| die` guards | David Seifert | 2019-12-11 | 5 | -14/+12 |
* | */*: [QA] Fix trivial cases of MissingTestRestrict | Michał Górny | 2019-12-11 | 8 | -1/+9 |
* | sci-mathematics/z3: Tested on python3.8 | Michał Górny | 2019-12-08 | 1 | -1/+1 |
* | sci-mathematics/z3: Remove old | David Seifert | 2019-12-08 | 4 | -473/+0 |
* | sci-mathematics/singular: Remove old | David Seifert | 2019-12-08 | 10 | -433/+0 |
* | sci-mathematics/unuran: Port to EAPI 7 | David Seifert | 2019-12-08 | 1 | -21/+24 |
* | sci-mathematics/rngstreams: Port to EAPI 7 | David Seifert | 2019-12-08 | 1 | -10/+22 |
* | sci-mathematics/rstudio: [QA] Fix AbsoluteSymlink | David Seifert | 2019-12-07 | 2 | -2/+2 |
* | sci-mathematics/rstudio: Remove old | David Seifert | 2019-12-07 | 4 | -753/+0 |
* | sci-mathematics/wxmaxima: bump to 19.12.1 | Andrey Grozin | 2019-12-07 | 2 | -0/+50 |
* | sci-mathematics/gmm: version bump 5.3 | Amy Liffey | 2019-12-07 | 2 | -0/+23 |
* | sci-mathematics/gmm: update HOMEPAGE, SRC_URI | Wim Muskee | 2019-12-07 | 1 | -3/+3 |
* | sci-mathematics/pymc3: Remove py2 | Michał Górny | 2019-12-04 | 1 | -1/+1 |
* | sci-mathematics/coq: fix eclass usage | Michael Mair-Keimberger | 2019-11-23 | 1 | -1/+1 |
* | sci-mathematics/z3: arm64 stable (bug #700296) | Aaron Bauman | 2019-11-23 | 1 | -1/+1 |
* | sci-mathematics/z3: arm stable wrt bug #700296 | Mikle Kolyada | 2019-11-22 | 1 | -1/+1 |
* | sci-mathematics/fann: EAPI-7 bump | Andreas Sturmlechner | 2019-11-20 | 2 | -6/+5 |
* | sci-mathematics/z3: ppc64 stable wrt bug #700296 | Agostino Sarubbo | 2019-11-20 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #700296 | Agostino Sarubbo | 2019-11-19 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #700296 | Agostino Sarubbo | 2019-11-18 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: bump to 19.11.0 | Andrey Grozin | 2019-11-15 | 2 | -0/+50 |
* | sci-mathematics/petsc: more configuration fixes | Matthias Maier | 2019-11-14 | 1 | -6/+6 |
* | sci-mathematics/petsc: do not run mpiexec during configure | Matthias Maier | 2019-11-14 | 2 | -0/+33 |
* | sci-mathematics/petsc: fix configuration with USE=hypre | Matthias Maier | 2019-11-14 | 2 | -2/+93 |
* | sci-mathematics/slepc: version bump to 3.12.1 | Matthias Maier | 2019-11-14 | 2 | -0/+76 |
* | sci-mathematics/petsc: version bump to 3.12.1 | Matthias Maier | 2019-11-14 | 3 | -1/+195 |
* | */*: Inline mirror://hackage and update URIs | Michał Górny | 2019-11-10 | 2 | -4/+4 |
* | sci-mathematics/coq: forward keywords again (forgotten) | Mikle Kolyada | 2019-11-04 | 1 | -1/+1 |
* | sci-mathematics/coq: migrate from dev-tex/xcolor | Mikle Kolyada | 2019-11-04 | 4 | -95/+3 |
* | sci-mathematics/wxmaxima: bump to 19.10.0 | Andrey Grozin | 2019-11-03 | 2 | -0/+50 |
* | sci-mathematics/psmt2-frontend: fix make install | Tupone Alfredo | 2019-10-29 | 1 | -0/+3 |
* | sci-mathematics/alt-ergo: add dev-ml/seq dependency | Tupone Alfredo | 2019-10-28 | 1 | -0/+1 |
* | sci-mathematics/psmt2-frontend: rename configure.in to ac | Tupone Alfredo | 2019-10-28 | 1 | -0/+6 |
* | sci-mathematics/gimps: Remove old | PPed72 | 2019-10-24 | 3 | -140/+0 |
* | sci-mathematics/gimps: x86 stable wrt bug #698320 | Agostino Sarubbo | 2019-10-23 | 1 | -1/+1 |
* | sci-mathematics/gimps: amd64 stable wrt bug #698320 | Agostino Sarubbo | 2019-10-23 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: stable | Tupone Alfredo | 2019-10-21 | 1 | -1/+1 |
* | sci-mathematics/psmt2-frontend: Stable version | Tupone Alfredo | 2019-10-21 | 1 | -1/+1 |
* | sci-mathematics/minisat: fix sed in header files | Jeffrey Lin | 2019-10-21 | 1 | -1/+1 |
* | sci-mathematics/rkward: Fix build with Qt 5.13 (?) | Andreas Sturmlechner | 2019-10-21 | 4 | -0/+81 |
* | sci-mathematics/rstudio: depend on qtwebengine[widgets] | Alessandro Barbieri | 2019-10-20 | 1 | -1/+1 |
* | sci-mathematics/maxima: Declare encoding of imaxima texinfo file. | Ulrich Müller | 2019-10-18 | 2 | -1/+13 |
* | sci-mathematics/gmp-ecm: drop old | Sergei Trofimovich | 2019-10-16 | 2 | -51/+0 |
* | sci-mathematics/rstudio: migrate to sys-libs/pam | Mikle Kolyada | 2019-10-12 | 5 | -10/+10 |