Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: VariableOrderWrongAlfredo Tupone2024-11-281-3/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/gap: backport another upstream patchMichael Orlitzky2024-11-242-1/+54
| | | | | | | | In particular, this fixes bug 944744, a test failure with the new dev-gap/grape. Closes: https://bugs.gentoo.org/944744 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cgal: add 6.0.1 w/ testsSam James2024-11-232-0/+70
| | | | | | Wire up tests too. Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/polymake: add 4.13, drop 4.12Michael Orlitzky2024-11-233-66/+2
| | | | | Closes: https://bugs.gentoo.org/939145 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: add 4.14.0_beta1Michael Orlitzky2024-11-232-0/+139
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* Rename dev-python/{PyGithub → pygithub}Michał Górny2024-11-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Rename dev-python/{OutputCheck → outputcheck}Michał Górny2024-11-221-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Rename dev-python/{GitPython → gitpython}Michał Górny2024-11-221-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/why3: Fix sa_handler signatureAlfredo Tupone2024-11-202-0/+13
| | | | | Closes: https://bugs.gentoo.org/944186 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/glpk: fix the build with gcc-15Michael Orlitzky2024-11-191-0/+4
| | | | | Closes: https://bugs.gentoo.org/943883 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3: add 1.7.2Alfredo Tupone2024-11-192-0/+108
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć2024-11-192-77/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.19.1Maciej Barć2024-11-192-123/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.19.0Maciej Barć2024-11-192-123/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/clipper2: update ebuild, add testsPaul Zander2024-11-162-5/+27
| | | | | | | | | | | | Drop RESTRICT=mirror. Enable tests. Add metadata.xml. Add myself as maintainer. Adjust ebuild style to fit the rest my ebuilds. Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/manifold: bump to 3.0.0_pre20241115Paul Zander2024-11-163-20/+40
| | | | | | | | | | | | | Drop RESTRICT=mirror. Ignore CXXFLAGS set by the build system. Don't pass -ggdb as that should be set via user-CXXFLAGS. Add metadata.xml. Add myself as maintainer. Adjust ebuild style to fit the rest my ebuilds. Signed-off-by: Paul Zander <negril.nx+gentoo@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/manifold: new package, add 3.0.0_pre20241108Chris Mayo2024-11-162-0/+64
| | | | | Signed-off-by: Chris Mayo <aklhfex@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/clipper2: new package, add 1.4.0Chris Mayo2024-11-162-0/+31
| | | | | Signed-off-by: Chris Mayo <aklhfex@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/jags: drop 4.3.0Andreas K. Hüttel2024-11-152-48/+0
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/jags: fix implicit exit() in configureAndreas K. Hüttel2024-11-152-2/+33
| | | | | Closes: https://bugs.gentoo.org/923377 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/eclib: add 20241112Michael Orlitzky2024-11-142-0/+38
| | | | | Closes: https://bugs.gentoo.org/942122 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/mathematica: "fix" sandbox violationAndreas K. Hüttel2024-11-131-0/+4
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/mathematica: add 14.1.0Andreas K. Hüttel2024-11-132-0/+209
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* Rename dev-python/{gmpy → gmpy2}Michał Górny2024-11-113-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/sympow: add 2.023.7Michael Orlitzky2024-11-034-0/+188
| | | | | Closes: https://bugs.gentoo.org/940248 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-11-022-79/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 24.08.0Andrey Grozin2024-11-022-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/polymake: un-keyword for x86Michael Orlitzky2024-10-262-2/+2
| | | | | | | | | | | | Despite the fact that USE=lrs is masked for x86, pkgcheck is throwing a fit about the fact that I've un-keyworded sci-libs/lrslib for x86 (it doesn't even build on x86), and is turning the CI red. So to fix that, I'm un-keywording polymake too. I'll file a bug for x86@, but this is a pretty niche application and probably nobody cares. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4.2 amd64, #942176Sam James2024-10-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmm: Stabilize 5.4.2 ppc64, #942176Sam James2024-10-251-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: steal strict-aliasing patch from FedoraMichael Orlitzky2024-10-242-9/+90
| | | | | | | | This lets us bring LTO back without having to be responsible for a custom patch. Bug: https://bugs.gentoo.org/863047 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2024-10-193-216/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 sparc, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 x86, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 ppc64, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 amd64, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 arm, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.3 arm64, #941789Arthur Zamarin2024-10-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/smtinterpol: dekeyword x86Arthur Zamarin2024-10-171-1/+1
| | | | | | | | | | After a message to gentoo-dev ML, and no reply from any user on x86, we decided to dekeyword most Java packages from x86, and reverse dependencies of them. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/cvc4: dekeyword x86Arthur Zamarin2024-10-171-1/+1
| | | | | | | | | | After a message to gentoo-dev ML, and no reply from any user on x86, we decided to dekeyword most Java packages from x86, and reverse dependencies of them. Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/mathematica: for M 10, we also need to preload harfbuzz nowAndreas K. Hüttel2024-10-161-0/+96
| | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/cgal: add 6.0, drop 6.0_beta1Matthias Maier2024-10-152-2/+2
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/flint: fix the flint.pc location againMichael Orlitzky2024-10-142-0/+27
| | | | | | | | I fixed this upstream a while ago, but it's missing from the current release, so we need to patch it again. Straight to stable because we've done this all before. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Bump to 4.13.3Michał Górny2024-10-112-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/gap: revbump with an upstream patchMichael Orlitzky2024-10-092-0/+318
| | | | | | | | | | Backport https://github.com/gap-system/gap/pull/5796 because it's causing failures in the SageMath test suite when dev-gap/grape also happens to be installed. Thanks to Dima Pasechnik for the pointer. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/easycrypt: bump to 2024.09Maciej Barć2024-10-062-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gfan: add another missing USE=doc build depMichael Orlitzky2024-10-051-1/+2
| | | | | | | | We explicitly invoke "dvipdf" from app-text/ghostscript-gpl in the ebuild. Closes: https://bugs.gentoo.org/940906 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: add missing TeX build dep for USE=docMichael Orlitzky2024-10-051-1/+6
| | | | | Closes: https://bugs.gentoo.org/873610 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: new patch to fix out-of-bounds indexingMichael Orlitzky2024-10-052-0/+40
| | | | | | | | Fix the SageMath test suite by making sure gfan_mixedvolume doesn't crash. Closes: https://bugs.gentoo.org/897782 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: add 4.4.0_p6, drop 4.4.0_p2Michael Orlitzky2024-10-042-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>