summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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