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/why3-for-spark: VariableOrderWrongAlfredo Tupone22 hours1-3/+3
* sci-mathematics/gap: backport another upstream patchMichael Orlitzky5 days2-1/+54
* sci-mathematics/cgal: add 6.0.1 w/ testsSam James6 days2-0/+70
* sci-mathematics/polymake: add 4.13, drop 4.12Michael Orlitzky6 days3-66/+2
* sci-mathematics/gap: add 4.14.0_beta1Michael Orlitzky6 days2-0/+139
* Rename dev-python/{PyGithub → pygithub}Michał Górny6 days1-1/+1
* Rename dev-python/{OutputCheck → outputcheck}Michał Górny7 days1-1/+1
* Rename dev-python/{GitPython → gitpython}Michał Górny7 days1-1/+1
* sci-mathematics/why3: Fix sa_handler signatureAlfredo Tupone9 days2-0/+13
* sci-mathematics/glpk: fix the build with gcc-15Michael Orlitzky10 days1-0/+4
* sci-mathematics/why3: add 1.7.2Alfredo Tupone10 days2-0/+108
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć10 days2-77/+0
* sci-mathematics/coq: drop old 8.19.1Maciej Barć10 days2-123/+0
* sci-mathematics/coq: drop old 8.19.0Maciej Barć10 days2-123/+0
* sci-mathematics/clipper2: update ebuild, add testsPaul Zander13 days2-5/+27
* sci-mathematics/manifold: bump to 3.0.0_pre20241115Paul Zander13 days3-20/+40
* sci-mathematics/manifold: new package, add 3.0.0_pre20241108Chris Mayo13 days2-0/+64
* sci-mathematics/clipper2: new package, add 1.4.0Chris Mayo13 days2-0/+31
* sci-mathematics/jags: drop 4.3.0Andreas K. Hüttel14 days2-48/+0
* sci-mathematics/jags: fix implicit exit() in configureAndreas K. Hüttel14 days2-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
* sci-mathematics/z3: Stabilize 4.13.3 x86, #941789Arthur Zamarin2024-10-191-1/+1
* sci-mathematics/z3: Stabilize 4.13.3 ppc64, #941789Arthur Zamarin2024-10-191-1/+1
* sci-mathematics/z3: Stabilize 4.13.3 amd64, #941789Arthur Zamarin2024-10-191-1/+1
* sci-mathematics/z3: Stabilize 4.13.3 arm, #941789Arthur Zamarin2024-10-191-1/+1
* sci-mathematics/z3: Stabilize 4.13.3 arm64, #941789Arthur Zamarin2024-10-191-1/+1
* sci-mathematics/smtinterpol: dekeyword x86Arthur Zamarin2024-10-171-1/+1
* sci-mathematics/cvc4: dekeyword x86Arthur Zamarin2024-10-171-1/+1
* sci-mathematics/mathematica: for M 10, we also need to preload harfbuzz nowAndreas K. Hüttel2024-10-161-0/+96
* sci-mathematics/cgal: add 6.0, drop 6.0_beta1Matthias Maier2024-10-152-2/+2
* sci-mathematics/flint: fix the flint.pc location againMichael Orlitzky2024-10-142-0/+27
* sci-mathematics/z3: Bump to 4.13.3Michał Górny2024-10-112-0/+108
* sci-mathematics/gap: revbump with an upstream patchMichael Orlitzky2024-10-092-0/+318
* sci-mathematics/easycrypt: bump to 2024.09Maciej Barć2024-10-062-0/+51
* sci-mathematics/gfan: add another missing USE=doc build depMichael Orlitzky2024-10-051-1/+2
* sci-mathematics/gfan: add missing TeX build dep for USE=docMichael Orlitzky2024-10-051-1/+6
* sci-mathematics/gfan: new patch to fix out-of-bounds indexingMichael Orlitzky2024-10-052-0/+40
* sci-mathematics/singular: add 4.4.0_p6, drop 4.4.0_p2Michael Orlitzky2024-10-042-1/+1