summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/flint: pass --disable-assembly to ./configureMichael Orlitzky3 days1-0/+2
* sci-mathematics/z3: Bump to 4.13.4Michał Górny3 days2-0/+108
* sci-mathematics/gmp-ecm: add 7.0.6Patrick Lauer5 days2-0/+66
* sci-mathematics/why3-for-spark: drop myself as a maintainerAlfredo Tupone6 days1-2/+2
* sci-mathematics/lean: Stabilize 4.11.0 amd64, #946385Sam James7 days1-1/+1
* sci-mathematics/coq: Stabilize 8.20.0 amd64, #946384Sam James7 days1-1/+1
* sci-mathematics/flint: fix C23 build, switch back to autotoolsMichael Orlitzky8 days3-0/+144
* sci-mathematics/slepc: add 3.22.1Matthias Maier9 days2-0/+127
* sci-mathematics/petsc: add 3.22.2Matthias Maier9 days2-0/+236
* Move {sys-devel → llvm-core}/clang-runtimeMichał Górny10 days1-1/+1
* sci-mathematics/plfit: drop 0.9.3Michael Orlitzky12 days2-34/+0
* sci-mathematics/wxmaxima: Stabilize 24.05.0 amd64, #945579Sam James2024-12-061-1/+1
* sci-mathematics/cgal: Stabilize 6.0 amd64, #945551Sam James2024-12-051-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 amd64, #945558Sam James2024-12-051-1/+1
* sci-mathematics/gfan: Stabilize 0.6.2-r6 amd64, #945552Sam James2024-12-051-1/+1
* sci-mathematics/singular: Stabilize 4.4.0_p6 amd64, #945580Joonas Niilola2024-12-031-1/+1
* sci-mathematics/plfit: Stabilize 0.9.5 x86, #945558Jakov Smolić2024-12-011-1/+1
* sci-mathematics/why3-for-spark: VariableOrderWrongAlfredo Tupone2024-11-281-3/+3
* sci-mathematics/gap: backport another upstream patchMichael Orlitzky2024-11-242-1/+54
* sci-mathematics/cgal: add 6.0.1 w/ testsSam James2024-11-232-0/+70
* sci-mathematics/polymake: add 4.13, drop 4.12Michael Orlitzky2024-11-233-66/+2
* sci-mathematics/gap: add 4.14.0_beta1Michael Orlitzky2024-11-232-0/+139
* Rename dev-python/{PyGithub → pygithub}Michał Górny2024-11-231-1/+1
* Rename dev-python/{OutputCheck → outputcheck}Michał Górny2024-11-221-1/+1
* Rename dev-python/{GitPython → gitpython}Michał Górny2024-11-221-1/+1
* sci-mathematics/why3: Fix sa_handler signatureAlfredo Tupone2024-11-202-0/+13
* sci-mathematics/glpk: fix the build with gcc-15Michael Orlitzky2024-11-191-0/+4
* sci-mathematics/why3: add 1.7.2Alfredo Tupone2024-11-192-0/+108
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć2024-11-192-77/+0
* sci-mathematics/coq: drop old 8.19.1Maciej Barć2024-11-192-123/+0
* sci-mathematics/coq: drop old 8.19.0Maciej Barć2024-11-192-123/+0
* sci-mathematics/clipper2: update ebuild, add testsPaul Zander2024-11-162-5/+27
* sci-mathematics/manifold: bump to 3.0.0_pre20241115Paul Zander2024-11-163-20/+40
* sci-mathematics/manifold: new package, add 3.0.0_pre20241108Chris Mayo2024-11-162-0/+64
* sci-mathematics/clipper2: new package, add 1.4.0Chris Mayo2024-11-162-0/+31
* sci-mathematics/jags: drop 4.3.0Andreas K. Hüttel2024-11-152-48/+0
* sci-mathematics/jags: fix implicit exit() in configureAndreas K. Hüttel2024-11-152-2/+33
* sci-mathematics/eclib: add 20241112Michael Orlitzky2024-11-142-0/+38
* sci-mathematics/mathematica: "fix" sandbox violationAndreas K. Hüttel2024-11-131-0/+4
* sci-mathematics/mathematica: add 14.1.0Andreas K. Hüttel2024-11-132-0/+209
* Rename dev-python/{gmpy → gmpy2}Michał Górny2024-11-113-3/+3
* sci-mathematics/sympow: add 2.023.7Michael Orlitzky2024-11-034-0/+188
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-11-022-79/+0
* sci-mathematics/wxmaxima: bump to 24.08.0Andrey Grozin2024-11-022-0/+80
* sci-mathematics/polymake: un-keyword for x86Michael Orlitzky2024-10-262-2/+2
* sci-mathematics/gmm: Stabilize 5.4.2 amd64, #942176Sam James2024-10-251-1/+1
* sci-mathematics/gmm: Stabilize 5.4.2 ppc64, #942176Sam James2024-10-251-2/+2
* sci-mathematics/glpk: steal strict-aliasing patch from FedoraMichael Orlitzky2024-10-242-9/+90
* sci-mathematics/z3: Remove oldMichał Górny2024-10-193-216/+0
* sci-mathematics/z3: Stabilize 4.13.3 sparc, #941789Arthur Zamarin2024-10-191-1/+1