summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/polymake: update homepageAlexey Sokolov2020-06-271-2/+2
* sci-mathematics/singular: update homepageAlexey Sokolov2020-06-272-6/+6
* sci-mathematics/petsc: update homepageAlexey Sokolov2020-06-272-2/+2
* sci-mathematics/slepc: update homepageAlexey Sokolov2020-06-271-2/+2
* sci-mathematics/pari: arm keyworded (bug #710994)Sam James (sam_c)2020-06-261-1/+1
* sci-mathematics/mathematica: Import from dilfridge overlayAndreas K. Hüttel2020-06-244-0/+182
* sci-mathematics/mathomatic: Drop 15.8.5Andreas Sturmlechner2020-06-232-42/+0
* sci-mathematics/rw: maintainer stabilize and drop old.Michael Orlitzky2020-06-222-34/+1
* sci-mathematics/wxmaxima: bump to 20.06.6Andrey Grozin2020-06-222-0/+50
* sci-mathematics/mathomatic: amd64 stable wrt bug #724166Agostino Sarubbo2020-06-221-1/+1
* sci-mathematics/z3: drop haskell@ from maintainersSergei Trofimovich2020-06-211-4/+0
* sci-mathematics/mathomatic: x86 stable (bug #724166)Thomas Deutschmann2020-06-211-1/+1
* sci-mathematics/mathomatic: 16.0.5 ppc stableAndreas Sturmlechner2020-06-211-2/+2
* sci-mathematics/rkward: KDE project takeoverAndreas Sturmlechner2020-06-171-12/+8
* sci-mathematics/arb: bump to 2.18.0. Use cmake.François Bissey2020-06-164-0/+79
* sci-mathematics/flint: upstream bump to 2.6.0François Bissey2020-06-163-0/+84
* sci-mathematics/why3-for-spark: fix broken linksAlfredo Tupone2020-06-151-2/+4
* 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