summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/spin: add myself as a maintainerMarek Szuba2021-11-261-1/+7
* sci-mathematics/spin: add 6.5.1, remove 6.4.5Marek Szuba2021-11-265-68/+66
* sci-mathematics/lean: add liveMaciej Barć2021-11-261-0/+75
* sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentooMaciej Barć2021-11-261-9/+16
* sci-mathematics/metamath: change patch filenameMaciej Barć2021-11-262-1/+1
* sci-mathematics/mathlib-tools: new package; add version 1.1.0Maciej Barć2021-11-263-0/+69
* sci-mathematics/lean: new package; add version 3.35.1Maciej Barć2021-11-264-0/+112
* sci-mathematics/metamath: new package; add version 0.198Maciej Barć2021-11-264-0/+63
* sci-mathematics/lcalc: new upstream version 2.0.4.Michael Orlitzky2021-11-252-0/+32
* sci-mathematics/nauty: fix v2.7.3 build with GNU libtool.Michael Orlitzky2021-11-231-0/+4
* sci-mathematics/nauty: new upstream version 2.7.3.Michael Orlitzky2021-11-222-0/+75
* sci-mathematics/gmp-ecm: keyword 7.0.4-r4 for ~riscvAlex Fan2021-11-221-1/+1
* sci-mathematics/arb: keyword 2.21.0 for ~riscvAlex Fan2021-11-221-1/+1
* sci-mathematics/singular: keyword 4.2.1 for ~riscvAlex Fan2021-11-221-1/+1
* sci-mathematics/flint: keyword 2.8.3 for ~riscvAlex Fan2021-11-221-1/+1
* sci-mathematics/octave-epstk: keyword 2.4 for ~riscvAlex Fan2021-11-221-1/+1
* sci-mathematics/spin: keyword 6.4.5 for ~riscvAlex Fan2021-11-221-1/+1
* */*: reassign aisha's packagesJoonas Niilola2021-11-211-8/+0
* sci-mathematics/z3: Bump to 4.8.13Michał Górny2021-11-192-0/+104
* sci-mathematics/maxima: destabilize 5.42.1-r1 for ~ppcGeorgy Yakovlev2021-11-181-1/+1
* sci-mathematics/singular: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
* sci-mathematics/mathomatic: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-2/+2
* sci-mathematics/lpsolve: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-2/+2
* sci-mathematics/ginac: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
* sci-mathematics/flint: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
* sci-mathematics/euler: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
* sci-mathematics/4ti2: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
* sci-mathematics/flint: new upstream version 2.8.4.Michael Orlitzky2021-11-172-1/+1
* sci-mathematics/genius: Bump to 1.0.27Pacho Ramos2021-11-112-0/+56
* sci-mathematics/pari: new upstream version pari-2.13.3.Michael Orlitzky2021-11-102-0/+122
* sci-mathematics/pari: remove old pari-2.11.4.ebuild.Michael Orlitzky2021-11-102-119/+0
* sci-mathematics/pari: Stabilize 2.13.2 ppc, #821466Sam James2021-11-101-1/+1
* sci-mathematics/gmm: version bump 5.4Amy Liffey2021-11-082-0/+23
* sci-mathematics/petsc: addpredict /dev/kfdAlessandro Barbieri2021-11-083-0/+9
* sci-mathematics/pari: Stabilize 2.13.2 ppc64, #821466Sam James2021-11-051-1/+1
* sci-mathematics/flint: new upstream version 2.8.3.Michael Orlitzky2021-11-032-4/+10
* sci-mathematics/pari: Stabilize 2.13.2 amd64, #821466Sam James2021-11-031-1/+1
* sci-mathematics/pari: Stabilize 2.13.2 x86, #821466Sam James2021-11-031-1/+1
* sci-mathematics/eclib: remove old "unused" eclib-20190909.ebuild.Michael Orlitzky2021-11-032-38/+0
* sci-mathematics/eclib: x86 stable wrt bug #821319Agostino Sarubbo2021-11-031-1/+1
* sci-mathematics/eclib: amd64 stable wrt bug #821319Agostino Sarubbo2021-11-031-1/+1
* sci-mathematics/glpk: remove old "unused" glpk-4.65.ebuild.Michael Orlitzky2021-11-023-101/+0
* sci-mathematics/glpk: Stabilize 5.0-r1 arm, #821322Sam James2021-11-021-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r1 arm64, #821322Sam James2021-11-021-1/+1
* sci-mathematics/planarity: remove old "unused" planarity-3.0.0.5.ebuild.Michael Orlitzky2021-11-023-55/+0
* sci-mathematics/cliquer: remove old "unused" cliquer-1.21.ebuild.Michael Orlitzky2021-11-022-30/+0
* sci-mathematics/giac: maintainer stabilize on amd64.Michael Orlitzky2021-11-021-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r1 x86, #821322Sam James2021-11-021-1/+1
* sci-mathematics/cliquer: Stabilize 1.22 x86, #821316Sam James2021-11-021-1/+1
* sci-mathematics/planarity: Stabilize 3.0.1.1 x86, #821307Sam James2021-11-021-1/+1