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: Fix sa_handler signatureAlfredo Tupone12 hours2-0/+13
* sci-mathematics/glpk: fix the build with gcc-15Michael Orlitzky29 hours1-0/+4
* sci-mathematics/why3: add 1.7.2Alfredo Tupone38 hours2-0/+108
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć38 hours2-77/+0
* sci-mathematics/coq: drop old 8.19.1Maciej Barć38 hours2-123/+0
* sci-mathematics/coq: drop old 8.19.0Maciej Barć38 hours2-123/+0
* sci-mathematics/clipper2: update ebuild, add testsPaul Zander4 days2-5/+27
* sci-mathematics/manifold: bump to 3.0.0_pre20241115Paul Zander4 days3-20/+40
* sci-mathematics/manifold: new package, add 3.0.0_pre20241108Chris Mayo4 days2-0/+64
* sci-mathematics/clipper2: new package, add 1.4.0Chris Mayo4 days2-0/+31
* sci-mathematics/jags: drop 4.3.0Andreas K. Hüttel5 days2-48/+0
* sci-mathematics/jags: fix implicit exit() in configureAndreas K. Hüttel5 days2-2/+33
* sci-mathematics/eclib: add 20241112Michael Orlitzky6 days2-0/+38
* sci-mathematics/mathematica: "fix" sandbox violationAndreas K. Hüttel8 days1-0/+4
* sci-mathematics/mathematica: add 14.1.0Andreas K. Hüttel8 days2-0/+209
* Rename dev-python/{gmpy → gmpy2}Michał Górny10 days3-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
* sci-mathematics/smtinterpol: drop 2.5_p20211018Volkmar W. Pogatzki2024-10-021-43/+0
* sci-mathematics/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447Sam James2024-10-021-1/+1
* sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557Arthur Zamarin2024-09-301-1/+1
* sci-mathematics/boolector: bump to 3.2.4Maciej Barć2024-09-302-0/+87
* sci-mathematics/vampire: bump to 4.9Maciej Barć2024-09-302-0/+64
* sci-mathematics/z3: Bump to 4.13.2Michał Górny2024-09-282-0/+108
* sci-mathematics/fricas: remove old versionsAndrey Grozin2024-09-233-179/+0
* sci-mathematics/fricas: USE flag gmp did not work. Fixed.Andrey Grozin2024-09-231-0/+100