summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/geogebra-bin: drop 5.0.683.0Georgy Yakovlev2023-01-222-56/+0
* sci-mathematics/maxima: this version is incompatible with the new gcl-2.6.14Andrey Grozin2023-01-221-1/+1
* sci-mathematics/pari: move LDFLAGS patch into the ebuild.Michael Orlitzky2023-01-211-2/+3
* sci-mathematics/pari: move STRIP override patch into the ebuild.Michael Orlitzky2023-01-211-2/+5
* sci-mathematics/z3: Bump to 4.12.1Michał Górny2023-01-192-0/+108
* sci-mathematics/nauty: add upstream patch for gentourng and gentreeg.Michael Orlitzky2023-01-172-1/+146
* sci-mathematics/ent: update SRC_URIJonas Stein2023-01-172-2/+2
* sci-mathematics/ent: update DESCRIPTION, HOMEPAGEJonas Stein2023-01-171-3/+3
* sci-mathematics/pari: add 2.15.2François Bissey2023-01-163-0/+150
* sci-mathematics/form: set VARTEXFONTSAndrey Grozin2023-01-151-2/+2
* sci-mathematics/form: remove old revisionAndrey Grozin2023-01-151-81/+0
* sci-mathematics/form: DEPEND on latexrecommendedAndrey Grozin2023-01-153-0/+104
* sci-mathematics/z3: Bump to 4.12.0Michał Górny2023-01-152-0/+108
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-1429-56/+56
* sci-mathematics/form: bump to 4.3.0Andrey Grozin2023-01-142-0/+82
* sci-mathematics/yices2: do not install static libsMaciej Barć2023-01-141-1/+3
* sci-mathematics/opensmt: prevent fetching googletestMaciej Barć2023-01-132-0/+76
* sci-mathematics/opensmt: do not install static libsMaciej Barć2023-01-131-1/+2
* sci-mathematics/pspp: Stabilize 1.6.2-r2 amd64, #890706Sam James2023-01-131-1/+1
* sci-mathematics/btor2tools: remove unused patchMaciej Barć2023-01-131-28/+0
* sci-mathematics/boolector: fix build to not require static libsMaciej Barć2023-01-131-0/+1
* sci-mathematics/btor2tools: do not install static librariesMaciej Barć2023-01-131-4/+1
* Revert "sci-mathematics/picosat: also install static libraries"Maciej Barć2023-01-131-2/+1
* sci-mathematics/octave: Stabilize 6.4.0-r5 arm64, #886641Arthur Zamarin2023-01-131-1/+1
* sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640Sam James2023-01-131-2/+2
* sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640Sam James2023-01-131-1/+1
* sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640Sam James2023-01-131-2/+2
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-122-0/+39
* sci-mathematics/coq-serapi: drop old 0.15.0-r3Maciej Barć2023-01-122-65/+0
* sci-mathematics/coq-serapi: bump to 0.16.2Maciej Barć2023-01-122-0/+67
* sci-mathematics/cubicle: install the provided manual pageMaciej Barć2023-01-111-0/+2
* sci-mathematics/boolector: new package; add 3.2.2_p20220110Maciej Barć2023-01-113-0/+110
* sci-mathematics/cadical: install ccadical.hMaciej Barć2023-01-111-2/+4
* sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518Maciej Barć2023-01-115-0/+100
* sci-mathematics/picosat: also install static librariesMaciej Barć2023-01-111-1/+2
* sci-mathematics/cubicle: new package; add 1.2.0Maciej Barć2023-01-114-0/+105
* sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2Michael Orlitzky2023-01-102-2/+2