summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* sci-mathematics/pari: Stabilize 2.13.4 x86, #849080Sam James2022-06-021-1/+1
* sci-mathematics/rkward: 0.7.4 version bumpAndreas Sturmlechner2022-06-012-0/+58
* sci-mathematics/rkward: Drop 0.7.2-r1Andreas Sturmlechner2022-06-017-421/+0
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-312-0/+91
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-312-91/+0
* sci-mathematics/coq: bump to 8.15.2Maciej Barć2022-05-312-0/+112
* sci-mathematics/singular: drop unused flag-o-matic inherit.Michael Orlitzky2022-05-271-1/+1
* sci-mathematics/singular: update gcc12 patchFrançois Bissey2022-05-271-10/+1
* sci-mathematics/singular: Add François Bissey as proxy maintainerFrançois Bissey2022-05-271-0/+8
* sci-mathematics/singular: clean singular 4.3.0François Bissey2022-05-274-178/+0
* sci-mathematics/singular: upstream bumpFrançois Bissey2022-05-273-0/+200
* sci-mathematics/flint: new upstream v2.8.5.Michael Orlitzky2022-05-262-0/+81
* sci-mathematics/petsc: drop superfluous USE=cxxMatthias Maier2022-05-251-8/+4
* sci-mathematics/slepc: drop 3.13.1, 3.14.2, 3.15.0Matthias Maier2022-05-254-210/+0
* sci-mathematics/petsc: drop 3.13.1, 3.14.6, 3.15.0, 3.15.0-r1Matthias Maier2022-05-258-919/+0
* sci-mathematics/slepc: add 3.17.1Matthias Maier2022-05-252-0/+69
* sci-mathematics/petsc: add 3.17.1Matthias Maier2022-05-252-0/+195
* sci-mathematics/octave: add sundials upper boundSam James2022-05-261-1/+2
* sci-mathematics/dunshire: new revision with python-3.10 support.Michael Orlitzky2022-05-181-3/+3
* sci-mathematics/lean: drop old 3.41.0Maciej Barć2022-05-182-76/+0
* sci-mathematics/lean: bump to 3.43.0Maciej Barć2022-05-182-0/+76
* sci-mathematics/rkward: 0.7.3 version bumpAndreas Sturmlechner2022-05-182-0/+58
* sci-mathematics/octave: Keyword 6.4.0-r2 hppa, #757822Sam James2022-05-171-1/+1
* sci-mathematics/primecount: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-161-1/+6
* sci-mathematics/gretl: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-161-4/+6
* sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-162-3/+12
* sci-mathematics/agda-stdlib: egrep -> grep -ESam James2022-05-151-2/+2
* sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmpDavid Seifert2022-05-143-7/+20
* sci-mathematics/gmp-ecm: fix qa WhitespaceFoundConrad Kostecki2022-05-141-2/+2
* sci-mathematics/normaliz: new upstream version 3.9.3.Michael Orlitzky2022-05-083-1/+71
* sci-mathematics/topcom: new revision to fix gmp dependency.Michael Orlitzky2022-05-071-1/+2
* sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild.Michael Orlitzky2022-05-073-381/+0
* sci-mathematics/topcom: new revision with miscellaneous fixes.Michael Orlitzky2022-05-073-73/+181
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć2022-05-072-2/+2
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć2022-05-072-46/+0
* sci-mathematics/easycrypt: bump to 2022.04_p20220505Maciej Barć2022-05-072-0/+46
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton2022-05-073-0/+105
* sci-mathematics/octave: don't install *.la files.Michael Orlitzky2022-05-071-0/+2
* sci-mathematics/gmp-ecm: upstream bumpFrançois Bissey2022-05-063-0/+67
* sci-mathematics/z3: Bump to 4.8.17Michał Górny2022-05-052-0/+109
* sci-mathematics/octave: fix Java dependencySam James2022-05-051-2/+2
* sci-mathematics/octave: add rapidjson USE flagSam James2022-05-052-2/+5
* sci-mathematics/octave: tidy up 7.1.0Sam James2022-05-051-21/+14
* sci-mathematics/octave: fix patch filenameSam James2022-05-052-2/+2
* sci-mathematics/octave: unkeyword 7.1.0Sam James2022-05-051-1/+2
* sci-mathematics/octave: patch 6.4.0 for Qt as wellSam James2022-05-052-1/+3
* sci-mathematics/octave: use configure.ac patchSam James2022-05-051-59/+18
* sci-mathematics/octave: style tweaksSam James2022-05-052-5/+5
* sci-mathematics/octave: version bump to 7.1.0Thamognya Kodi2022-05-053-0/+277
* sci-mathematics/easycrypt: bump to 2022.04Maciej Barć2022-04-272-0/+44