summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: fix broken symlinkAlfredo Tupone2020-06-141-1/+1
* sci-mathematics/why3-for-spark: fix flags and compressionAlfredo Tupone2020-06-122-0/+144
* sci-mathematics/maxima: bump to 5.44.0Andrey Grozin2020-06-082-0/+208
* sci-mathematics/z3: Port to cmake.eclassMichał Górny2020-06-081-2/+3
* sci-mathematics/octave: Drop 4* and 5.1.0Andreas Sturmlechner2020-06-0415-1058/+0
* sci-mathematics/octave: x86 stable wrt bug #709830Agostino Sarubbo2020-06-041-1/+1
* sci-mathematics/why3-for-spark: use CCAlfredo Tupone2020-05-271-0/+10
* sci-mathematics/psmt2-frontend: ignore CFLAGS warningAlfredo Tupone2020-05-271-1/+10
* sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNOREDAlfredo Tupone2020-05-271-4/+4
* sci-mathematics/rw: disable static libs and delete libtool archives.Michael Orlitzky2020-05-261-0/+40
* sci-mathematics/gimps: add RESTRICTs due to licensePPed722020-05-261-1/+2
* sci-mathematics/rkward: Drop 0.7.1Andreas Sturmlechner2020-05-262-50/+0
* sci-mathematics/rkward: 0.7.1b version bumpAndreas Sturmlechner2020-05-262-0/+50
* sci-mathematics/alt-ergo: fix QA_FLAGS_IGNOREDThomas Deutschmann2020-05-251-2/+2
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-05-251-1/+8
* sci-mathematics/octave: amd64 stable wrt bug #709830Mikle Kolyada2020-05-251-1/+1
* sci-mathematics/rstudio: Bump to 1.3.959Mark Wright2020-05-258-0/+810
* sci-mathematics/rstudio: Fix build with R 4.0.0Mark Wright2020-05-243-0/+108
* sci-mathematics/rstudio: Patch 1.2.5033 for boost 1.73.0Mark Wright2020-05-232-2/+1
* sci-mathematics/rstudio: Remove oldMark Wright2020-05-2320-2185/+0
* sci-mathematics/mathmod: EAPI-7, missing deps, fdo-mime--, xdg-utilsAndreas Sturmlechner2020-05-211-8/+14
* sci-mathematics/sympow: new package for symmetric power L-functions.Michael Orlitzky2020-05-175-0/+168
* sci-mathematics/agda-stdlib: update homepageAlexey Sokolov2020-05-172-4/+4
* sci-mathematics/agda-lib-ffi: update homepageAlexey Sokolov2020-05-172-5/+5
* sci-mathematics/agda: update homepageAlexey Sokolov2020-05-173-6/+6
* sci-mathematics/wxmaxima: bump to 20.04.0Andrey Grozin2020-05-172-0/+50
* sci-mathematics/pymc3: Remove unused dep on (re)commonmarkMichał Górny2020-05-141-2/+0
* sci-mathematics/z3: Remove redundant longdescMichał Górny2020-05-141-3/+0
* sci-mathematics/z3: Bump to 4.8.8Michał Górny2020-05-142-0/+96
* sci-mathematics/petsc: version bump to 3.13.1Matthias Maier2020-05-102-0/+190
* sci-mathematics/slepc: version bump to 3.13.1; remove oldMatthias Maier2020-04-293-88/+6
* sci-mathematics/petsc: drop oldMatthias Maier2020-04-296-529/+0
* sci-mathematics/petsc: version bump to 13.0Matthias Maier2020-04-295-0/+332
* sci-mathematics/pari: replace DOCS array.Michael Orlitzky2020-04-281-0/+1
* sci-mathematics/rstudio: Bump to 1.2.5042Mark Wright2020-04-283-0/+259
* sci-mathematics/pari: remove DOCS array, works fine withoutJoonas Niilola2020-04-261-2/+0
* sci-mathematics/pari: move DOCS array to its correct placeJoonas Niilola2020-04-261-1/+2
* sci-mathematics/pari: superceded by new releaseFrançois Bissey2020-04-263-162/+0
* sci-mathematics/pari: New upstream releaseFrançois Bissey2020-04-262-0/+112
* sci-mathematics/dunshire: new revision supporting python-3.{7,8}.Michael Orlitzky2020-04-191-5/+12
* sci-mathematics/flintqs: amd64 stable wrt bug #717958Agostino Sarubbo2020-04-191-1/+1
* sci-mathematics/flintqs: x86 stable wrt bug #717958Agostino Sarubbo2020-04-191-1/+1
* sci-mathematics/flintqs: fix the test suite.Michael Orlitzky2020-04-181-1/+1
* sci-mathematics/pari: new release + upstream patchFrançois Bissey2020-04-173-0/+162
* sci-mathematics/gfan: disable test that hangs on x86.Michael Orlitzky2020-04-151-0/+11
* sci-mathematics/gfan: remove old "unused" version and patches.Michael Orlitzky2020-04-136-243/+0
* sci-mathematics/glpk: remove old "unused" version and files.Michael Orlitzky2020-04-133-158/+0
* sci-mathematics/glpk: x86 stable wrt bug #717072Agostino Sarubbo2020-04-131-1/+1
* sci-mathematics/glpk: amd64 stable wrt bug #717072Agostino Sarubbo2020-04-131-1/+1
* sci-mathematics/gfan: x86 stable wrt bug #716362Agostino Sarubbo2020-04-131-1/+1