summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2024-01-191-2/+2
* sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367Sam James2024-01-181-2/+2
* sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951Matoro Mahri2024-01-161-2/+2
* sci-mathematics/eprover: bump to 3.0.03Maciej Barć2024-01-152-0/+77
* sci-mathematics/gappa: bump to 1.4.2Maciej Barć2024-01-152-0/+44
* sci-mathematics/lean: drop old 4.2.0_rc4Maciej Barć2024-01-152-79/+0
* sci-mathematics/coq-mathcomp: bump to 1.19.0Maciej Barć2024-01-152-0/+26
* sci-mathematics/coq-mathcomp: drop old 1.16.0-r1Maciej Barć2024-01-152-26/+0
* sci-mathematics/coq-serapi: drop old 0.17.0Maciej Barć2024-01-152-71/+0
* Move {sys-devel → dev-build}/autoconf-archiveMichał Górny2024-01-151-2/+2
* Move {dev-util → dev-build}/cmakeMichał Górny2024-01-1411-33/+33
* Move {app-doc → app-text}/doxygenMichał Górny2024-01-127-12/+12
* sci-mathematics/form: LaTeX fix in devrefAndrey Grozin2024-01-111-3/+18
* sci-mathematics/fricas: bump to 1.3.10Andrey Grozin2024-01-112-0/+79
* sci-mathematics/glpk: update EAPI 7 -> 8, add libltdl depMichael Orlitzky2024-01-101-0/+96
* sci-mathematics/geogebra-bin: sort keywordsAndrew Ammerlaan2024-01-101-1/+1
* sci-mathematics/geogebra-bin: add 6.0.804.0Henri Gasc2024-01-102-0/+69
* sci-mathematics/form: remove old versionAndrey Grozin2024-01-102-101/+0
* sci-mathematics/form: add a forgotten patchAndrey Grozin2024-01-101-0/+15
* sci-mathematics/form: bump to 5.0.0_beta1Andrey Grozin2024-01-102-0/+103
* sci-mathematics/opensmt: sys-devel/bison -> app-alternatives/yaccSam James2024-01-081-1/+1
* sci-mathematics/bertini: sys-devel/bison -> app-alternatives/yaccSam James2024-01-082-2/+2
* sci-mathematics/opensmt: sys-devel/flex -> app-alternatives/lexSam James2024-01-081-2/+2
* sci-mathematics/genius: sys-devel/flex -> app-alternatives/lexSam James2024-01-081-2/+2
* sci-mathematics/bertini: sys-devel/flex -> app-alternatives/lexSam James2024-01-082-4/+4
* sci-mathematics/eclib: add 20231212Michael Orlitzky2024-01-062-0/+50
* sci-mathematics/z3: Remove oldMichał Górny2024-01-062-112/+0
* sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 x86, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493Arthur Zamarin2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm, #921493Sam James2024-01-061-2/+2
* sci-mathematics/cgal: add 5.6Andrew Ammerlaan2024-01-032-0/+62
* sci-mathematics/why3-for-spark: require ocamloptAlfredo Tupone2023-12-291-5/+6
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2023-12-262-81/+0
* sci-mathematics/wxmaxima: bump to 23.12.0Andrey Grozin2023-12-262-0/+81
* profiles/use.desc: Make USE=cuda globalMichał Górny2023-12-261-1/+0
* sci-mathematics/flint: add 3.0.1Michael Orlitzky2023-12-233-0/+126
* sci-mathematics/z3: Remove oldMichał Górny2023-12-213-125/+0
* sci-mathematics/z3: Stabilize 4.12.3 x86, #920427Arthur Zamarin2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm64, #917280Arthur Zamarin2023-12-171-1/+1
* sci-mathematics/octave: Stabilize 8.3.0-r1 arm, #917280Arthur Zamarin2023-12-171-1/+1
* sci-mathematics/cgal: Stabilize 5.5.2 amd64, #920128Arthur Zamarin2023-12-161-1/+1
* sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149Arthur Zamarin2023-12-161-1/+1