summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: drop oldJack Todaro2020-12-172-69/+0
* sci-mathematics/agda: drop oldJack Todaro2020-12-172-146/+0
* sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4Jack Todaro2020-12-173-6/+71
* sci-mathematics/agda: bump up to 2.6.1.2Jack Todaro2020-12-173-18/+173
* sci-mathematics/glpk: Upstream bumpFrançois Bissey2020-12-162-0/+77
* sci-mathematics/octave: ppc keyworded (bug #757822)Sam James2020-12-121-1/+1
* sci-mathematics/octave: ppc64 keyworded (bug #757822)Sam James2020-12-121-1/+1
* sci-mathematics/octave: arm64 keyworded (bug #757822)Sam James2020-12-071-1/+1
* sci-mathematics/octave: Keyword 6.1.0-r1 arm, #757822Sam James2020-12-071-1/+1
* sci-mathematics/gimps: remove oldPPed722020-12-072-73/+0
* sci-mathematics/alt-ergo: depend only on lablgtk:2Alfredo Tupone2020-12-051-1/+1
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-12-051-1/+1
* sci-mathematics/z3: Keyword 4.8.9 riscv, #756115Mikle Kolyada2020-12-041-1/+1
* sci-mathematics/octave: new revision with sys-apps/texinfo in RDEPEND.Michael Orlitzky2020-12-011-1/+4
* sci-mathematics/octave: new version 6.1.0.Michael Orlitzky2020-11-303-0/+198
* sci-mathematics/pspp: version bump to 1.4.1John Helmert III2020-11-262-0/+91
* sci-mathematics/pspp: security cleanup (<1.2.0-r1)John Helmert III2020-11-261-79/+0
* sci-mathematics/cgal: new maintainerAisha Tammy2020-11-201-0/+8
* sci-mathematics/cgal: version bump to 5.1Aisha Tammy2020-11-202-0/+81
* sci-mathematics/gimps: stabilize 30.3.6 on x86Joonas Niilola2020-11-171-1/+1
* sci-mathematics/gimps: Stabilize 30.3.6 amd64, #754933Sam James2020-11-171-1/+1
* sci-mathematics/agda: drop USE=uhcSergei Trofimovich2020-11-152-8/+2
* sci-mathematics/glpk: Stabilize 4.65 arm, #709830Sam James2020-11-071-1/+1
* sci-mathematics/octave: Stabilize 5.2.0 arm, #709830Sam James2020-11-071-1/+1
* sci-mathematics/glpk: Stabilize 4.65 arm64, #709830Sam James2020-11-061-1/+1
* sci-mathematics/octave: Stabilize 5.2.0 arm64, #709830Sam James2020-11-061-1/+1
* sci-mathematics/maxima: Drop 5.38.1Andreas Sturmlechner2020-11-052-209/+0
* sci-mathematics/z3: Remove oldMichał Górny2020-11-032-97/+0
* sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145Sam James2020-11-031-1/+1
* sci-mathematics/pspp: Stabilize 1.2.0-r1 amd64, #679392Sam James2020-11-011-1/+1
* sci-mathematics/otter: fix build with -fno-commonSam James2020-11-011-4/+7
* sci-mathematics/mathematica: Add 12.1.0 for whoever cant get 12.1.1Andreas K. Hüttel2020-10-282-0/+109
* sci-mathematics/gmp-ecm: Keyword 7.0.4-r2 arm64, #749927Sam James2020-10-271-1/+1
* sci-mathematics/flint: Keyword 2.6.3 arm64, #749927Sam James2020-10-271-1/+1
* sci-mathematics/arb: Keyword 2.18.1 arm64, #749927Sam James2020-10-271-1/+1
* sci-mathematics/gmp-ecm: Keyword 7.0.4-r2 arm, #749927Sam James2020-10-271-1/+1
* sci-mathematics/arb: Keyword 2.18.1 arm, #749927Sam James2020-10-271-1/+1
* sci-mathematics/z3: stable 4.8.9 for ppc64Sergei Trofimovich2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: x86 stable (bug #751145)Thomas Deutschmann2020-10-261-1/+1
* sci-mathematics/pari: new version 2.13.0.Michael Orlitzky2020-10-202-0/+119
* sci-mathematics/axiom: Remove last-rited pkgMichał Górny2020-10-196-294/+0
* sci-mathematics/pspp: x86 stable (bug #679392)Thomas Deutschmann2020-10-181-1/+1
* sci-mathematics/rkward: Drop 0.7.1bAndreas Sturmlechner2020-10-152-50/+0
* sci-mathematics/rkward: 0.7.2 version bumpAndreas Sturmlechner2020-10-152-0/+56
* sci-mathematics/coq: Bump to 8.12.0Mark Wright2020-10-132-0/+89
* sci-mathematics/gimps: Version bump to gimps-30.3.6PPed722020-10-132-0/+75
* sci-mathematics/agda-stdlib: drop oldSergei Trofimovich2020-10-082-67/+0
* sci-mathematics/agda: drop oldSergei Trofimovich2020-10-084-292/+0