Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/plfit: add 0.9.5, drop 0.9.4Michael Orlitzky2024-03-093-42/+1
* sci-mathematics/plfit: add 0.9.4 to fix underlinking issueMichael Orlitzky2024-03-083-0/+75
* sci-mathematics/psmt2-frontend: drop old 0.2Maciej Barć2024-03-082-44/+0
* sci-mathematics/acl2: fix find callMaciej Barć2024-03-081-3/+3
* sci-mathematics/z3: remove the filter-lto/fno-strict-aliasingEli Schwartz2024-03-081-13/+1
* sci-mathematics/z3: Bump to 4.13.0Michał Górny2024-03-082-0/+120
* sci-mathematics/acl2: restrict supported SBCL versionsMaciej Barć2024-03-071-3/+3
* sci-mathematics/acl2: bump to 8.5_p20240307Maciej Barć2024-03-072-0/+112
* sci-mathematics/palp: new package, add 2.21Michael Orlitzky2024-03-063-0/+73
* sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-03-052-1/+19
* sci-mathematics/cadical: bump to 1.9.5Maciej Barć2024-03-042-0/+48
* sci-mathematics/cadical: drop old 1.8.0Maciej Barć2024-03-042-40/+0
* sci-mathematics/coq: bump to 8.19.1Maciej Barć2024-03-042-0/+123
* sci-mathematics/coq-mathcomp: drop old 1.17.0Maciej Barć2024-03-042-26/+0
* sci-mathematics/coq-serapi: drop old 0.18.1Maciej Barć2024-03-043-85/+0
* sci-mathematics/coq: drop old 8.18.0Maciej Barć2024-03-042-113/+0
* sci-mathematics/coq: drop old 8.17.1Maciej Barć2024-03-042-113/+0
* sci-mathematics/giac: drop unused patchMichael Orlitzky2024-03-041-30/+0
* sci-mathematics/giac: add 1.9.0.93, drop 1.9.0.67Michael Orlitzky2024-03-044-5/+95
* sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-03-042-2/+26
* sci-mathematics/cadabra: Stabilize 2.4.5.4 amd64, #925656Sam James2024-02-281-1/+1
* sci-mathematics/coq: Stabilize 8.19.0 amd64, #925657Sam James2024-02-271-1/+1
* sci-mathematics/z3: Bump to 4.12.6Michał Górny2024-02-262-0/+108
* sci-mathematics/gap: add 4.13.0_alpha2, drop 4.13.0_alpha1Michael Orlitzky2024-02-202-1/+1
* sci-mathematics/cgal: drop 5.5, 5.5.2Andreas Sturmlechner2024-02-203-124/+0
* sci-mathematics/eprover: fix build on muslMaciej Barć2024-02-192-0/+13
* sci-mathematics/opensmt: fix libdir on glibc onlyMaciej Barć2024-02-191-3/+5
* sci-mathematics/cryptominisat: bump to 5.11.21Maciej Barć2024-02-142-0/+41
* sci-mathematics/cryptominisat: drop old 5.11.14Maciej Barć2024-02-142-40/+0
* sci-mathematics/prover9: fix tests; bump to EAPI 8Maciej Barć2024-02-141-25/+23
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-02-142-79/+0
* sci-mathematics/wxmaxima: bump to 24.02.1Andrey Grozin2024-02-142-0/+79
* */*: Reassign gienah's packagesMichał Górny2024-02-144-15/+1
* sci-mathematics/polymake: Stabilize 4.11 amd64, #922874Matoro Mahri2024-02-101-2/+2
* sci-mathematics/wxmaxima: bump to 24.02.0Andrey Grozin2024-02-092-0/+79
* sci-mathematics/z3: Remove oldMichał Górny2024-02-092-108/+0
* sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099Sam James2024-02-091-1/+1
* sci-mathematics/eclib: drop 20230424Michael Orlitzky2024-02-082-48/+0
* sci-mathematics/eclib: stabilize 20231212 for amd64Michael Orlitzky2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 x86, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/cadical: bump to 1.9.4Maciej Barć2024-02-082-0/+48
* sci-mathematics/cadical: drop old 1.5.3-r1Maciej Barć2024-02-082-38/+0
* sci-mathematics/gap: add 4.13.0_alpha1 masked for testingMichael Orlitzky2024-02-072-0/+138
* sci-mathematics/gap: respect CC and CXX in the "gac" compilerMichael Orlitzky2024-02-052-0/+44
* sci-mathematics/coq-serapi: bump to 0.19.0Maciej Barć2024-02-053-0/+88
* sci-mathematics/easycrypt: bump to 2024.01Maciej Barć2024-02-032-0/+50