summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/gimps: Cleanup old versionPPed722019-09-232-62/+0
* sci-mathematics/gimps: version bump to version 29.8b6PPed722019-09-232-0/+72
* sci-mathematics/z3: Bump to 4.8.6Michał Górny2019-09-202-0/+94
* sci-mathematics/z3: arm64 stable (bug #693856)Aaron Bauman2019-09-161-1/+1
* sci-mathematics/gmp-ecm: Fix custom-tune useflagPatrick Lauer2019-09-151-2/+1
* sci-mathematics/isabelle: Remove last-rited pkgMichał Górny2019-09-1413-647/+0
* sci-mathematics/cvc3: Remove last-rited pkgMichał Górny2019-09-145-266/+0
* sci-mathematics/e: Remove last-rited pkgMichał Górny2019-09-145-238/+0
* sci-mathematics/kodkodi: Remove last-rited pkgMichał Górny2019-09-143-127/+0
* sci-mathematics/spass: Remove last-rited pkgMichał Górny2019-09-143-163/+0
* sci-mathematics/wxmaxima: bump to 19.09.0Andrey Grozin2019-09-142-0/+46
* sci-mathematics/z3: arm stable wrt bug #693856Mikle Kolyada2019-09-131-1/+1
* sci-mathematics/alt-ergo: fix BadInsIntoDir warningTupone Alfredo2019-09-122-4/+2
* sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URIMark Wright2019-09-115-256/+84
* sci-mathematics/z3: ppc64 stable wrt bug #693856Agostino Sarubbo2019-09-111-1/+1
* sci-mathematics/z3: x86 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
* sci-mathematics/alt-ergo: fix buildTupone Alfredo2019-09-071-1/+3
* sci-mathematics/drgeo: RemoveMatt Turner2019-09-014-129/+0