summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/stp: patch - include cstdintMaciej Barć2023-02-202-0/+14
* sci-mathematics/stp: rename patchesMaciej Barć2023-02-203-2/+2
* sci-mathematics/ginac: bump to 1.8.6Andrey Grozin2023-02-173-0/+89
* sci-mathematics/coq-serapi: drop old 0.16.0-r1Maciej Barć2023-02-172-67/+0
* sci-mathematics/coq-serapi: bump to 0.16.3Maciej Barć2023-02-172-0/+70
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-02-163-160/+0
* sci-mathematics/wxmaxima: bump to 23.02.0Andrey Grozin2023-02-162-0/+80
* sci-mathematics/maxima: add python3_11Andrey Grozin2023-02-161-0/+228
* sci-mathematics/ginac: remove old versionsAndrey Grozin2023-02-164-161/+0
* sci-mathematics/coq-mathcomp: fix depsMaciej Barć2023-02-163-5/+14
* sci-mathematics/flocq: fix depsMaciej Barć2023-02-161-3/+6
* sci-mathematics/gappalib-coq: fix deps; add ocamloptMaciej Barć2023-02-161-3/+5
* sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27Ionen Wolkens2023-02-151-0/+2
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-144-4/+4
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-144-4/+4
* sci-mathematics/eclib: drop 20220621Michael Orlitzky2023-02-092-36/+0
* sci-mathematics/eclib: Stabilize 20221012 amd64, #893528Sam James2023-02-071-1/+1
* sci-mathematics/eclib: Stabilize 20221012 x86, #893528Sam James2023-02-071-2/+2
* sci-mathematics/primecount: drop 7.4Michael Orlitzky2023-02-072-55/+0
* sci-mathematics/primecount: stabilize 7.6 for amd64Michael Orlitzky2023-02-071-2/+2
* sci-mathematics/primesieve: drop 8.0Michael Orlitzky2023-02-072-51/+0
* sci-mathematics/primesieve: stabilize 11.0 for amd64Michael Orlitzky2023-02-071-2/+2
* sci-mathematics/octave: drop 6.4.0-r5Andreas Sturmlechner2023-02-072-219/+0
* sci-mathematics/bertini: bump to 1.6Maciej Barć2023-02-062-0/+67
* sci-mathematics/opensmt: fix build on muslMaciej Barć2023-02-062-0/+134
* sci-mathematics/opensmt: drop old 2.4.3Maciej Barć2023-02-061-70/+0
* sci-mathematics/minisat: fix build on muslMaciej Barć2023-02-062-4/+50
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-063-5/+49
* sci-mathematics/lpsolve: add subslot for new versionSam James2023-02-041-1/+12
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+380
* Revert "sci-mathematics/lpsolve: add 5.5.2.11"Sam James2023-02-033-368/+0
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+368
* sci-mathematics/easycrypt: H -> COMMITMaciej Barć2023-02-022-10/+10
* sci-mathematics/coq-mathcomp: bump to 1.16.0Maciej Barć2023-02-022-0/+18
* sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1Andreas Sturmlechner2023-01-303-110/+0
* sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271Sam James2023-01-301-2/+2
* sci-mathematics/cvc4: drop 1.7-r1Alfredo Tupone2023-01-294-107/+0
* sci-mathematics/picosat: Stabilize 965 amd64, #892299Sam James2023-01-281-2/+2
* sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303Sam James2023-01-281-1/+1
* sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295Sam James2023-01-281-2/+2
* sci-mathematics/mathlib-tools: patch to use tomli(-w)Maciej Barć2023-01-273-6/+93
* sci-mathematics/mathlib-tools: drop old 1.3.1Maciej Barć2023-01-272-54/+0
* sci-mathematics/mathlib-tools: drop old 1.3.0Maciej Barć2023-01-272-54/+0
* sci-mathematics/coq-serapi: remove ppx_sexp_conv restrictionMaciej Barć2023-01-271-1/+2
* sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1Andreas Sturmlechner2023-01-267-225/+0
* sci-mathematics/pari: patch update for upstream bug 2441.Michael Orlitzky2023-01-263-23/+35
* sci-mathematics/pari: new ~arch revision, cleanup old.Michael Orlitzky2023-01-254-139/+41
* sci-mathematics/singular: add myself as a maintainerMichael Orlitzky2023-01-231-0/+4
* sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1Michael Orlitzky2023-01-233-167/+0
* sci-mathematics/pspp: Stabilize 1.6.2-r2 x86, #890706Arthur Zamarin2023-01-231-1/+1