| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | sci-mathematics/arb: Sort KEYWORDS | Michał Górny | 2019-07-15 | 2 | -3/+3 |
* | sci-mathematics/cvc4: Bump to 1.7 | Tupone Alfredo | 2019-07-14 | 3 | -0/+90 |
* | sci-mathematics/msieve: Remove gwnum USE dep | David Seifert | 2019-06-30 | 3 | -8/+5 |
* | sci-mathematics/octave: imagemagick-7 is needed | Pacho Ramos | 2019-06-24 | 1 | -1/+1 |
* | sci-mathematics/gmp-ecm: Remove dep on sci-mathematics/gwnum | David Seifert | 2019-06-23 | 4 | -22/+6 |
* | sci-mathematics/gfan: Fix building against GCC 9 | David Seifert | 2019-06-22 | 2 | -0/+69 |
* | sci-mathematics/gfan: Port to EAPI 7 | David Seifert | 2019-06-22 | 2 | -17/+70 |
* | sci-mathematics/rstudio: Add upper bound on boost-1.70 | David Seifert | 2019-06-12 | 3 | -3/+3 |
* | sci-mathematics/rstudio: [QA] Add slot-dep operator for openssl/libressl | David Seifert | 2019-06-12 | 3 | -8/+8 |
* | sci-mathematics/z3: Drop old | Michał Górny | 2019-06-08 | 2 | -107/+0 |
* | sci-mathematics/cgal: Drop old | Andreas Sturmlechner | 2019-06-05 | 5 | -279/+0 |
* | sci-mathematics/cgal: amd64 stable wrt bug #685396 | Agostino Sarubbo | 2019-06-05 | 1 | -1/+1 |
* | sci-mathematics/cgal: x86 stable (bug #685396) | Thomas Deutschmann | 2019-06-04 | 1 | -2/+2 |
* | sci-mathematics/arb: bump to 2.16.0 | Andrey Grozin | 2019-06-02 | 2 | -0/+57 |
* | sci-mathematics/wxmaxima: bump to 19.05.7 | Andrey Grozin | 2019-06-01 | 2 | -0/+58 |
* | sci-mathematics/maxima: bump to 5.43.0 | Andrey Grozin | 2019-06-01 | 3 | -0/+241 |
* | sci-mathematics/z3: Bump to 4.8.5 | Michał Górny | 2019-06-01 | 2 | -0/+107 |
* | sci-mathematics/p9m4: use HTTPS | Michael Mair-Keimberger | 2019-05-02 | 1 | -2/+2 |
* | sci-mathematics/prover9: use HTTPS | Michael Mair-Keimberger | 2019-05-02 | 1 | -3/+3 |
* | sci-mathematics/maxima: x86 stable (bug #677422) | Thomas Deutschmann | 2019-04-29 | 1 | -1/+1 |
* | sci-mathematics/p9m4: [QA] Call distutils-r1_python_install_all | David Seifert | 2019-04-21 | 1 | -50/+34 |
* | */*: Remove python3_4 PYTHON_COMPAT correctly | Michał Górny | 2019-04-17 | 5 | -9/+9 |
* | sci-mathematics/z3: Revert "Drop old" | Michał Górny | 2019-04-10 | 3 | -0/+197 |
* | sci-mathematics/z3: Drop old | Michał Górny | 2019-04-10 | 3 | -197/+0 |
* | sci-mathematics/maxima: amd64 stable wrt bug #677422 | Mikle Kolyada | 2019-04-08 | 1 | -1/+1 |
* | sci-mathematics/maxima: stable 5.42.1 for ppc, bug #677422 | Sergei Trofimovich | 2019-04-07 | 1 | -2/+2 |
* | sci-mathematics/maxima: remove unused patch | Michael Mair-Keimberger | 2019-04-04 | 1 | -10/+0 |
* | sci-mathematics/wxmaxima: x86 stable (bug #677420) | Thomas Deutschmann | 2019-04-01 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: remove unused patch | Tupone Alfredo | 2019-03-29 | 1 | -40/+0 |
* | sci-mathematics/z3: Keyword 4.8.4 ~arm64 | Michał Górny | 2019-03-21 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: stable 18.11.4 for ppc, bug #677420 | Sergei Trofimovich | 2019-03-16 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: amd64 stable wrt bug #677420 | Mikle Kolyada | 2019-03-16 | 1 | -2/+2 |
* | sci-mathematics/maxima: clean 5.41 | Andrey Grozin | 2019-03-15 | 3 | -423/+0 |
* | sci-mathematics/wxmaxima: clean 19.02.2_p1 | Andrey Grozin | 2019-03-15 | 2 | -58/+0 |
* | sci-mathematics/why3-for-spark: use virtual/emacs on dependency | Tupone Alfredo | 2019-03-15 | 3 | -86/+2 |
* | sci-mathematics/genius: add back gtk-update-icon-cache dep | Mart Raudsepp | 2019-03-12 | 1 | -0/+2 |