summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/num-utils: Remove oldDavid Seifert2019-08-292-28/+0
* sci-mathematics/gmp-ecm: BumpPatrick Lauer2019-08-252-0/+56
* sci-mathematics/octave: Bump to 5.1.0.Benda Xu2019-08-253-0/+236
* sci-mathematics/rstudio: Fix #692728 dep webkit -> webengineMark Wright2019-08-231-1/+1
* sci-mathematics/spass: add missing slashThomas Deutschmann2019-08-221-1/+1
* sci-mathematics/rstudio: fix slashesThomas Deutschmann2019-08-221-3/+3
* sci-mathematics/spass: fix missing slashesThomas Deutschmann2019-08-221-7/+7
* sci-mathematics/rstudio: fix missing slashesThomas Deutschmann2019-08-221-3/+3
* sci-mathematics/spass: Fix #645394, remove oldMark Wright2019-08-223-86/+4
* sci-mathematics/rstudio: Bump to 1.2.1335, fix compile with >=boost 1.70.0Mark Wright2019-08-2217-383/+1451
* sci-mathematics/wxmaxima: bump to 19.08.1Andrey Grozin2019-08-182-0/+58
* sci-mathematics/wxmaxima: cleaning old versionsAndrey Grozin2019-08-183-134/+0
* sci-mathematics/slepc: port to EAPI 7Matthias Maier2019-08-051-6/+6
* sci-mathematics/slepc: package migration from ::science overlayMatthias Maier2019-08-053-0/+91
* sci-mathematics/petsc: package migration from ::science overlayMatthias Maier2019-08-055-0/+252
* sci-mathematics/gwnum: Remove last-rited packageDavid Seifert2019-08-013-42/+0
* sci-mathematics/lpsolve: arm64 stableAaron Bauman2019-07-301-2/+2
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-272-0/+43
* sci-mathematics/psmt2-frontend: add psmt2-frontendTupone Alfredo2019-07-264-0/+60
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
* sci-mathematics/yacas: Drop broken 1.7.0 (r0)Andreas Sturmlechner2019-07-241-53/+0
* sci-mathematics/yacas: Fix desktop file icon pathAndreas Sturmlechner2019-07-242-1/+28
* sci-mathematics/yacas: Disable cmake external downloads, use bundledAndreas Sturmlechner2019-07-243-0/+170
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8