summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/lcalc: new upstream v2.0.5.Michael Orlitzky2021-12-212-2/+2
* sci-mathematics/giac-1.7.0.13-r1: fix build for PrefixFabian Groffen2021-12-181-1/+1
* sci-mathematics/singular: add julia and polymake useflagsAndrew Ammerlaan2021-12-152-0/+130
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-143-268/+0
* sci-mathematics/lrcalc: remove old "unused" lrcalc-2.0.ebuild.Michael Orlitzky2021-12-132-24/+0
* sci-mathematics/lrcalc: New upstream releaseFrançois Bissey2021-12-132-0/+24
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
* sci-mathematics/easycrypt: fix ocaml dependencyMaciej Barć2021-12-121-1/+1
* sci-mathematics/easycrypt: new package; add version 1.0_pre20211210Maciej Barć2021-12-123-0/+57
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126
* sci-mathematics/genius: Stabilize 1.0.27 amd64, #828932Sam James2021-12-121-1/+1
* sci-mathematics/vampire: new package; add version 4.6.1Maciej Barć2021-12-113-0/+79
* sci-mathematics/arb: remove unused patchMichael Mair-Keimberger2021-12-091-21/+0
* sci-mathematics/coq: x86 stable wrt bug #827149Agostino Sarubbo2021-12-071-1/+1
* sci-mathematics/arb: remove old "unused" arb-2.1[78].x ebuildsMichael Orlitzky2021-12-063-113/+0
* sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.Michael Orlitzky2021-12-062-30/+0
* sci-mathematics/arb: x86 stable wrt bug #828377Agostino Sarubbo2021-12-061-1/+1
* sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149Jakov Smolić2021-12-061-1/+1
* sci-mathematics/arb: amd64 stable wrt bug #828377Agostino Sarubbo2021-12-061-1/+1
* sci-mathematics/gp2c: amd64 stable wrt bug #828375Agostino Sarubbo2021-12-061-1/+1
* sci-mathematics/lean: gmp slotMaciej Barć2021-12-042-2/+2
* sci-mathematics/slepc: version bump to 3.16Matthias Maier2021-12-032-0/+70
* sci-mathematics/petsc: version bump to 3.16.0 and bugfixFabio Rossi2021-12-013-0/+209
* sci-mathematics/nauty: Keyword 2.7.3 arm, #826706Arthur Zamarin2021-11-291-1/+1
* sci-mathematics/cliquer: Keyword 1.22 arm, #826706Arthur Zamarin2021-11-291-1/+1
* sci-mathematics/gimps: Version bump to 30.7 build 9PPed722021-11-292-1/+1
* sci-mathematics/wxmaxima: clean old versionsAndrey Grozin2021-11-294-240/+0
* sci-mathematics/wxmaxima: bump to 21.11.0Andrey Grozin2021-11-292-0/+80
* sci-mathematics/spin: add 6.5.2, drop 6.5.1Marek Szuba2021-11-283-2/+2
* sci-mathematics/gretl: add 2021d, drop 1.9.90Marek Szuba2021-11-274-33/+57
* 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