summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: [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
* sci-mathematics/psmt2-frontend: fix make installTupone Alfredo2019-10-291-0/+3
* sci-mathematics/alt-ergo: add dev-ml/seq dependencyTupone Alfredo2019-10-281-0/+1
* sci-mathematics/psmt2-frontend: rename configure.in to acTupone Alfredo2019-10-281-0/+6
* sci-mathematics/gimps: Remove oldPPed722019-10-243-140/+0
* sci-mathematics/gimps: x86 stable wrt bug #698320Agostino Sarubbo2019-10-231-1/+1
* sci-mathematics/gimps: amd64 stable wrt bug #698320Agostino Sarubbo2019-10-231-1/+1
* sci-mathematics/alt-ergo: stableTupone Alfredo2019-10-211-1/+1
* sci-mathematics/psmt2-frontend: Stable versionTupone Alfredo2019-10-211-1/+1
* sci-mathematics/minisat: fix sed in header filesJeffrey Lin2019-10-211-1/+1
* sci-mathematics/rkward: Fix build with Qt 5.13 (?)Andreas Sturmlechner2019-10-214-0/+81
* sci-mathematics/rstudio: depend on qtwebengine[widgets]Alessandro Barbieri2019-10-201-1/+1
* sci-mathematics/maxima: Declare encoding of imaxima texinfo file.Ulrich Müller2019-10-182-1/+13
* sci-mathematics/gmp-ecm: drop oldSergei Trofimovich2019-10-162-51/+0
* sci-mathematics/rstudio: migrate to sys-libs/pamMikle Kolyada2019-10-125-10/+10
* sci-mathematics: Remove *-fbsd KEYWORDSMichał Górny2019-10-118-8/+8
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-113-0/+91
* sci-mathematics/rw: new revision to fix the build.Michael Orlitzky2019-10-081-0/+11
* sci-mathematics/rw: new version 0.8.Michael Orlitzky2019-10-073-5/+8
* sci-mathematics/kodkod: Remove last-rited pkgMichał Górny2019-10-074-192/+0
* sci-mathematics/coq: Bump to 8.9.1Mark Wright2019-09-242-0/+87