| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | sci-mathematics/wxmaxima: bump to 19.03.1 |  Andrey Grozin | 2019-03-13 | 2 | -0/+58 |
* | sci-mathematics/maxima: bump to 5.42.2 |  Andrey Grozin | 2019-03-13 | 2 | -0/+213 |
* | sci-mathematics/genius: remove old |  Mart Raudsepp | 2019-03-12 | 2 | -56/+0 |
* | sci-mathematics/genius: bump to 1.0.23 |  Mart Raudsepp | 2019-03-12 | 2 | -0/+49 |
* | sci-mathematics/z3: Drop old |  Michał Górny | 2019-03-10 | 3 | -215/+0 |
* | sci-mathematics/rkward: Drop 0.7.0 |  Andreas Sturmlechner | 2019-03-05 | 2 | -52/+0 |
* | sci-mathematics/rkward: 0.7.0b bump for translations; EAPI-7 bump |  Andreas Sturmlechner | 2019-03-05 | 2 | -0/+51 |
* | sci-mathematics/z3: Add ~arm keyword wrt bug #677862 |  Mikle Kolyada | 2019-02-28 | 1 | -1/+1 |
* | sci-mathematics/genius: use HTTPS |  Michael Mair-Keimberger | 2019-02-26 | 1 | -3/+3 |
* | sci-mathematics/wxmaxima: bump to 19.02.2_p1 |  Andrey Grozin | 2019-02-26 | 2 | -0/+58 |
* | sci-mathematics/wxmaxima: clean old versions |  Andrey Grozin | 2019-02-26 | 4 | -159/+0 |
* | sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862 |  Sergei Trofimovich | 2019-02-17 | 1 | -1/+1 |
* | sci-mathematics/reduce: removed |  Andrey Grozin | 2019-02-17 | 6 | -118/+0 |
* | sci-mathematics/z3: Bump to 4.8.4 |  Michał Górny | 2019-02-13 | 2 | -0/+107 |
* | sci-mathematics/fricas: cleaning old versions |  Andrey Grozin | 2019-02-04 | 3 | -212/+0 |
* | sci-mathematics/fricas: bump to 1.3.5 |  Andrey Grozin | 2019-02-04 | 2 | -0/+109 |
* | sci-mathematics/pspp: Remove old |  Andreas K. Hüttel | 2019-01-26 | 3 | -158/+0 |
* | sci-mathematics/octave: fix USE=doc sandbox trip due to tex fonts |  Robin H. Johnson | 2019-01-25 | 2 | -2/+4 |
* | sci-mathematics/pspp: amd64 stable wrt bug #625724 |  Mikle Kolyada | 2019-01-17 | 1 | -1/+1 |
* | sci-mathematics/z3: Enable multilib support |  Michał Górny | 2019-01-09 | 1 | -0/+106 |
* | sci-mathematics/msieve: bump to v1.53 |  Thomas Deutschmann | 2019-01-06 | 3 | -0/+91 |
* | sci-mathematics/pspp: x86 stable (bug #625724) |  Thomas Deutschmann | 2019-01-02 | 1 | -2/+2 |
* | sci-mathematics/pspp: remove trailing whitespace |  Marty E. Plummer | 2018-12-24 | 1 | -1/+1 |
* | sci-mathematics/why3-for-spark: Stable |  Tupone Alfredo | 2018-12-16 | 2 | -4/+4 |
* | sci-mathematics/alt-ergo: Stable release |  Tupone Alfredo | 2018-12-16 | 1 | -2/+2 |
* | sci-mathematics/z3: Run tests |  Michał Górny | 2018-12-13 | 1 | -0/+7 |
* | sci-mathematics/z3: Enable python3 |  Michał Górny | 2018-12-13 | 1 | -1/+1 |
* | sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul |  Michał Górny | 2018-12-13 | 2 | -0/+102 |
* | sci-mathematics/z3: Co-maintain (used by clang) |  Michał Górny | 2018-12-13 | 1 | -0/+3 |
* | sci-mathematics/pspp: Version bump |  Alexey Shvetsov | 2018-12-07 | 2 | -0/+80 |