| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URI | Mark Wright | 2019-09-11 | 5 | -256/+84 |
* | sci-mathematics/z3: ppc64 stable wrt bug #693856 | Agostino Sarubbo | 2019-09-11 | 1 | -1/+1 |
* | sci-mathematics/z3: x86 stable wrt bug #693856 | Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/z3: amd64 stable wrt bug #693856 | Agostino Sarubbo | 2019-09-10 | 1 | -1/+1 |
* | sci-mathematics/alt-ergo: fix build | Tupone Alfredo | 2019-09-07 | 1 | -1/+3 |
* | sci-mathematics/drgeo: Remove | Matt Turner | 2019-09-01 | 4 | -129/+0 |
* | sci-mathematics/num-utils: Remove old | David Seifert | 2019-08-29 | 2 | -28/+0 |
* | sci-mathematics/gmp-ecm: Bump | Patrick Lauer | 2019-08-25 | 2 | -0/+56 |
* | sci-mathematics/octave: Bump to 5.1.0. | Benda Xu | 2019-08-25 | 3 | -0/+236 |
* | sci-mathematics/rstudio: Fix #692728 dep webkit -> webengine | Mark Wright | 2019-08-23 | 1 | -1/+1 |
* | sci-mathematics/spass: add missing slash | Thomas Deutschmann | 2019-08-22 | 1 | -1/+1 |
* | sci-mathematics/rstudio: fix slashes | Thomas Deutschmann | 2019-08-22 | 1 | -3/+3 |
* | sci-mathematics/spass: fix missing slashes | Thomas Deutschmann | 2019-08-22 | 1 | -7/+7 |
* | sci-mathematics/rstudio: fix missing slashes | Thomas Deutschmann | 2019-08-22 | 1 | -3/+3 |
* | sci-mathematics/spass: Fix #645394, remove old | Mark Wright | 2019-08-22 | 3 | -86/+4 |
* | sci-mathematics/rstudio: Bump to 1.2.1335, fix compile with >=boost 1.70.0 | Mark Wright | 2019-08-22 | 17 | -383/+1451 |
* | sci-mathematics/wxmaxima: bump to 19.08.1 | Andrey Grozin | 2019-08-18 | 2 | -0/+58 |
* | sci-mathematics/wxmaxima: cleaning old versions | Andrey Grozin | 2019-08-18 | 3 | -134/+0 |
* | sci-mathematics/slepc: port to EAPI 7 | Matthias Maier | 2019-08-05 | 1 | -6/+6 |
* | sci-mathematics/slepc: package migration from ::science overlay | Matthias Maier | 2019-08-05 | 3 | -0/+91 |
* | sci-mathematics/petsc: package migration from ::science overlay | Matthias Maier | 2019-08-05 | 5 | -0/+252 |
* | sci-mathematics/gwnum: Remove last-rited package | David Seifert | 2019-08-01 | 3 | -42/+0 |
* | sci-mathematics/lpsolve: arm64 stable | Aaron Bauman | 2019-07-30 | 1 | -2/+2 |
* | sci-mathematics/alt-ergo: bump to 2.3.0 | Tupone Alfredo | 2019-07-27 | 2 | -0/+43 |
* | sci-mathematics/psmt2-frontend: add psmt2-frontend | Tupone Alfredo | 2019-07-26 | 4 | -0/+60 |
* | sci-mathematics/alt-ergo: Fix dependency | Tupone Alfredo | 2019-07-25 | 1 | -2/+2 |
* | sci-mathematics/cvc4: Add readline use flag | Tupone Alfredo | 2019-07-25 | 1 | -1/+3 |
* | sci-mathematics/yacas: Drop broken 1.7.0 (r0) | Andreas Sturmlechner | 2019-07-24 | 1 | -53/+0 |
* | sci-mathematics/yacas: Fix desktop file icon path | Andreas Sturmlechner | 2019-07-24 | 2 | -1/+28 |
* | sci-mathematics/yacas: Disable cmake external downloads, use bundled | Andreas Sturmlechner | 2019-07-24 | 3 | -0/+170 |
* | sci-mathematics/cvc4: add statistics, replay and proofs use flag | Tupone Alfredo | 2019-07-23 | 2 | -1/+8 |
* | sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USE | Michał Górny | 2019-07-22 | 1 | -2/+1 |
* | sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo] | Lars Wendler | 2019-07-18 | 3 | -3/+67 |
* | sci-mathematics/cvc4: Fix sandbox issue | Tupone Alfredo | 2019-07-18 | 1 | -0/+8 |
* | sci-mathematics/yacas: Drop 1.6.1-r1 | Andreas Sturmlechner | 2019-07-17 | 3 | -57/+0 |
* | sci-mathematics/yacas: 1.7.0 version bump | Andreas Sturmlechner | 2019-07-17 | 3 | -0/+273 |
* | sci-mathematics/sha1-polyml: Sort KEYWORDS | Michał Górny | 2019-07-15 | 2 | -4/+4 |
* | sci-mathematics/rw: Sort KEYWORDS | Michał Górny | 2019-07-15 | 1 | -2/+2 |
* | sci-mathematics/octave-epstk: Sort KEYWORDS | Michał Górny | 2019-07-15 | 1 | -2/+2 |