| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/coq: revbump for newer ocaml + num | Jason A. Donenfeld | 2020-01-07 | 1 | -0/+86 |
* | sci-mathematics/prover9: eapi=7, add src_test | Mark Wright | 2020-01-07 | 1 | -6/+13 |
* | sci-mathematics: Switch to cmake.eclass | Andreas Sturmlechner | 2020-01-05 | 2 | -7/+7 |
* | sci-mathematics/wxmaxima: bump to 20.01.1 | Andrey Grozin | 2020-01-05 | 2 | -0/+50 |
* | */*: Clean PYTHON_COMPAT of obsolete impls | Michał Górny | 2020-01-05 | 5 | -10/+10 |
* | sci-mathematics/lrcalc: new package for Littlewood-Richardson coeffs. | Michael Orlitzky | 2020-01-02 | 4 | -0/+140 |
* | sci-mathematics/eclib: new package for rational elliptic curves. | Michael Orlitzky | 2019-12-30 | 3 | -0/+77 |
* | sci-mathematics/gp2c: update pari version requirement in new revision. | Michael Orlitzky | 2019-12-29 | 1 | -1/+3 |
* | sci-mathematics/gp2c: new package to compile GP routines to C. | Michael Orlitzky | 2019-12-28 | 3 | -0/+53 |
* | sci-mathematics/pari: new version 2.11.2. | Michael Orlitzky | 2019-12-28 | 6 | -0/+240 |
* | sci-mathematics/wxmaxima: cleaning old versions | Andrey Grozin | 2019-12-26 | 7 | -312/+0 |
* | sci-mathematics/wxmaxima: bump to 19.12.2 | Andrey Grozin | 2019-12-24 | 3 | -0/+62 |
* | sci-mathematics/agda: allow multiple revisions of agda-stdlib | Sergei Trofimovich | 2019-12-24 | 3 | -3/+3 |
* | sci-mathematics/agda: allow edisoncore-1.3.2 | Sergei Trofimovich | 2019-12-23 | 1 | -0/+150 |
* | sci-mathematics/singular: Remove call to deprecated elisp-need-emacs. | Ulrich Müller | 2019-12-21 | 2 | -10/+0 |
* | sci-mathematics/why3-for-spark: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -2/+2 |
* | sci-mathematics/twelf: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -4/+4 |
* | sci-mathematics/singular: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -4/+4 |
* | sci-mathematics/pspp: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 1 | -1/+1 |
* | sci-mathematics/maxima: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 4 | -5/+5 |
* | sci-mathematics/Macaulay2: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 1 | -2/+2 |
* | sci-mathematics/gretl: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -4/+4 |
* | sci-mathematics/geomview: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 1 | -2/+2 |
* | sci-mathematics/fricas: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -3/+3 |
* | sci-mathematics/agda: Update virtual/emacs dependency. | Ulrich Müller | 2019-12-20 | 2 | -4/+4 |
* | sci-mathematics/rstudio: Fix building with boost 1.72 | David Seifert | 2019-12-20 | 3 | -15/+47 |
* | 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 |