summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
* sci-mathematics/z3: Run testsMichał Górny2018-12-131-0/+7
* sci-mathematics/z3: Enable python3Michał Górny2018-12-131-1/+1
* sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaulMichał Górny2018-12-132-0/+102
* sci-mathematics/z3: Co-maintain (used by clang)Michał Górny2018-12-131-0/+3
* sci-mathematics/pspp: Version bumpAlexey Shvetsov2018-12-072-0/+80
* sci-mathematics/wxmaxima: bump to 18.11.4Andrey Grozin2018-11-262-0/+53
* sci-mathematics/rstudio: Bump to 1.1.463Mark Wright2018-11-195-0/+1114
* sci-mathematics/isabelle: fix scala dependency.Patrice Clement2018-11-011-6/+6
* sci-mathematics/wxmaxima: bump to 18.10.2Andrey Grozin2018-10-222-0/+53
* sci-mathematics/maxima: bump to 5.42.1Andrey Grozin2018-10-182-1/+1
* dev-python/{CommonMark → commonmark}Michał Górny2018-10-181-1/+1
* sci-mathematics/maxima: bump to 5.42.0Andrey Grozin2018-10-013-0/+261
* sci-mathematics/wxmaxima: bump to 18.10.0Andrey Grozin2018-09-262-0/+53
* sci-mathematics/wxmaxima: cleaning old versionsAndrey Grozin2018-09-265-281/+0
* sci-mathematics/octave: Version 4.4.1.Jeroen Roovers2018-09-232-0/+196
* sci-mathematics/octave: Add qt-5.11 fix to 4.2.2Andreas Sturmlechner2018-09-121-0/+1
* sci-mathematics/octave: Fix w/ media-gfx/graphicsmagick-1.3.30[imagemagick]Dennis Schridde2018-09-121-3/+9
* sci-mathematics/cgal: bump to 4.11.3Diogo Pereira2018-09-092-0/+82
* sci-mathematics/maxima: be compatible with emacs-27Andrey Grozin2018-09-053-0/+253
* sci-mathematics/maxima: clean oldAndrey Grozin2018-09-051-208/+0
* sci-mathematics/nusmv: add missing app-arch/unzip dependency.Michael Mair-Keimberger2018-08-201-0/+1
* sci-mathematics/octave: simplify tl deps now that 2017 is stableAlexis Ballier2018-07-212-2/+2
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-183-0/+42
* sci-matchematics/glpk: respect EPREFIXMartin Mokrejs2018-07-131-0/+1
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-133-0/+101
* sci-mathematics/calc: remove unused patchMichael Mair-Keimberger2018-07-111-12/+0
* sci-mathematics/octave: Add missing qt depsMark Wright2018-07-051-0/+3
* sci-mathematics/octave: Bump to 4.4.0, thanks Fabio RossiMark Wright2018-07-036-0/+246
* sci-mathematics/rstudio: Add USE libresslMark Wright2018-07-031-3/+4
* sci-mathematics/rstudio: Bump to 1.1.453Mark Wright2018-07-034-0/+431
* sci-mathematics/fricas: bump to 1.3.4Andrey Grozin2018-06-282-0/+109
* sci-mathematics/relational: Support python3.6Pacho Ramos2018-06-261-2/+2
* sci-mathematics/pymc: Support python3.6Pacho Ramos2018-06-261-2/+2
* sci-mathematics/dunshire: Support python3.6Pacho Ramos2018-06-261-2/+2
* sci-mathematics/ginac: bump to 1.7.4Andrey Grozin2018-06-262-0/+68
* sci-mathematics/snns: fix installation of manualIan Stakenvicius2018-06-142-2/+2
* sci-mathematics/calc: drop old EAPIAaron Bauman2018-06-022-54/+0
* sci-mathematics/alt-ergo: use HTTPsMichael Mair-Keimberger2018-06-021-2/+2
* sci-mathematics/4ti2: [QA] Remove eutilsDavid Seifert2018-05-271-9/+11
* sci-mathematics/lpsolve: Port to EAPI 6David Seifert2018-05-271-5/+7
* sci-mathematics/snns: Update dependencies (x11-proto/* -> x11-base/xorg-proto).Arfrever Frehtes Taifersar Arahesis2018-05-212-4/+4
* sci-mathematics/pymc3: Fix installation error, bug #632334Gabriel Linder2018-05-191-2/+2
* sci-mathematics/rstudio: Drop oldAndreas Sturmlechner2018-05-033-309/+0
* */*: Specify EAPI=0 explicitly, to ease grepsMichał Górny2018-05-012-2/+6
* sci-mathematics/octave: Drop to ~ppc/~ppc64Matt Turner2018-04-251-1/+1
* sci-mathematics/pari: Remove old versionHarri Nieminen2018-04-203-270/+0
* Replace pypi.python.org with pypi.org in HOMEPAGEMike Gilbert2018-04-191-1/+1
* sci-mathematics/glpk: Remove oldDavid Seifert2018-04-1812-699/+0