| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics: Remove *-fbsd KEYWORDS | Michał Górny | 2019-10-11 | 8 | -8/+8 |
* | sci-mathematics/why3-for-spark: version bump to 2019 | Tupone Alfredo | 2019-10-11 | 3 | -0/+91 |
* | sci-mathematics/rw: new revision to fix the build. | Michael Orlitzky | 2019-10-08 | 1 | -0/+11 |
* | sci-mathematics/rw: new version 0.8. | Michael Orlitzky | 2019-10-07 | 3 | -5/+8 |
* | sci-mathematics/kodkod: Remove last-rited pkg | Michał Górny | 2019-10-07 | 4 | -192/+0 |
* | sci-mathematics/coq: Bump to 8.9.1 | Mark Wright | 2019-09-24 | 2 | -0/+87 |
* | sci-mathematics/gimps: Cleanup old version | PPed72 | 2019-09-23 | 2 | -62/+0 |
* | sci-mathematics/gimps: version bump to version 29.8b6 | PPed72 | 2019-09-23 | 2 | -0/+72 |
* | sci-mathematics/z3: Bump to 4.8.6 | Michał Górny | 2019-09-20 | 2 | -0/+94 |
* | sci-mathematics/z3: arm64 stable (bug #693856) | Aaron Bauman | 2019-09-16 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: Fix custom-tune useflag | Patrick Lauer | 2019-09-15 | 1 | -2/+1 |
* | sci-mathematics/isabelle: Remove last-rited pkg | Michał Górny | 2019-09-14 | 13 | -647/+0 |
* | sci-mathematics/cvc3: Remove last-rited pkg | Michał Górny | 2019-09-14 | 5 | -266/+0 |
* | sci-mathematics/e: Remove last-rited pkg | Michał Górny | 2019-09-14 | 5 | -238/+0 |
* | sci-mathematics/kodkodi: Remove last-rited pkg | Michał Górny | 2019-09-14 | 3 | -127/+0 |
* | sci-mathematics/spass: Remove last-rited pkg | Michał Górny | 2019-09-14 | 3 | -163/+0 |
* | sci-mathematics/wxmaxima: bump to 19.09.0 | Andrey Grozin | 2019-09-14 | 2 | -0/+46 |
* | sci-mathematics/z3: arm stable wrt bug #693856 | Mikle Kolyada | 2019-09-13 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix BadInsIntoDir warning | Tupone Alfredo | 2019-09-12 | 2 | -4/+2 |