summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
* sci-mathematics/singular: Remove call to deprecated elisp-need-emacs.Ulrich Müller2019-12-212-10/+0
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/singular: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/pspp: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
* sci-mathematics/maxima: Update virtual/emacs dependency.Ulrich Müller2019-12-204-5/+5
* sci-mathematics/Macaulay2: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
* sci-mathematics/gretl: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/geomview: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
* sci-mathematics/fricas: Update virtual/emacs dependency.Ulrich Müller2019-12-202-3/+3
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/rstudio: Fix building with boost 1.72David Seifert2019-12-203-15/+47
* sci-mathematics/maxima: Provide missing texinfo file.Ulrich Müller2019-12-202-1/+4
* sci-mathematics/pari-data: new version to force mirror of new tarballs.Michael Orlitzky2019-12-163-30/+33
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
* sci-mathematics/pymc: [QA] Fix MissingTestRestrictMichał Górny2019-12-121-0/+1
* sci-mathematics/flint: [QA] Fix MissingTestRestrictMichał Górny2019-12-123-6/+6
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-115-14/+12
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-118-1/+9
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
* sci-mathematics/singular: Remove oldDavid Seifert2019-12-0810-433/+0
* sci-mathematics/unuran: Port to EAPI 7David Seifert2019-12-081-21/+24
* sci-mathematics/rngstreams: Port to EAPI 7David Seifert2019-12-081-10/+22
* sci-mathematics/rstudio: [QA] Fix AbsoluteSymlinkDavid Seifert2019-12-072-2/+2
* sci-mathematics/rstudio: Remove oldDavid Seifert2019-12-074-753/+0
* sci-mathematics/wxmaxima: bump to 19.12.1Andrey Grozin2019-12-072-0/+50
* sci-mathematics/gmm: version bump 5.3Amy Liffey2019-12-072-0/+23
* sci-mathematics/gmm: update HOMEPAGE, SRC_URIWim Muskee2019-12-071-3/+3
* sci-mathematics/pymc3: Remove py2Michał Górny2019-12-041-1/+1
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
* sci-mathematics/fann: EAPI-7 bumpAndreas Sturmlechner2019-11-202-6/+5
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1
* sci-mathematics/z3: x86 stable wrt bug #700296Agostino Sarubbo2019-11-191-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #700296Agostino Sarubbo2019-11-181-1/+1
* sci-mathematics/wxmaxima: bump to 19.11.0Andrey Grozin2019-11-152-0/+50
* sci-mathematics/petsc: more configuration fixesMatthias Maier2019-11-141-6/+6
* sci-mathematics/petsc: do not run mpiexec during configureMatthias Maier2019-11-142-0/+33
* sci-mathematics/petsc: fix configuration with USE=hypreMatthias Maier2019-11-142-2/+93
* sci-mathematics/slepc: version bump to 3.12.1Matthias Maier2019-11-142-0/+76
* sci-mathematics/petsc: version bump to 3.12.1Matthias Maier2019-11-143-1/+195
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-102-4/+4
* sci-mathematics/coq: forward keywords again (forgotten)Mikle Kolyada2019-11-041-1/+1
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-044-95/+3
* sci-mathematics/wxmaxima: bump to 19.10.0Andrey Grozin2019-11-032-0/+50