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/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>
* sci-mathematics/smtinterpol: drop 2.5_p20211018Volkmar W. Pogatzki2024-10-021-43/+0
| | | | | | Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/38846 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/smtinterpol: Stabilize 2.5_p20211018-r1 amd64, #940447Sam James2024-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557Arthur Zamarin2024-09-301-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/boolector: bump to 3.2.4Maciej Barć2024-09-302-0/+87
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: bump to 4.9Maciej Barć2024-09-302-0/+64
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Bump to 4.13.2Michał Górny2024-09-282-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/fricas: remove old versionsAndrey Grozin2024-09-233-179/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: USE flag gmp did not work. Fixed.Andrey Grozin2024-09-231-0/+100
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/cvc4: fix build on muslAlfredo Tupone2024-09-221-0/+11
| | | | | Closes: https://bugs.gentoo.org/934053 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/sympow: drop IUSE="" and DEPEND=""Michael Orlitzky2024-09-201-2/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rw: drop IUSE=""Michael Orlitzky2024-09-201-1/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rw: keyword 0.9 for ~riscvMichael Orlitzky2024-09-201-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/sympow: keyword 2.023.6 for ~riscvMichael Orlitzky2024-09-201-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: remove unused patchesMichael Mair-Keimberger2024-09-202-91/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/38692 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/lean: bump to 4.11.0Maciej Barć2024-09-202-0/+82
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop ~x86 KEYWORDMaciej Barć2024-09-201-1/+1
| | | | | | Closes: https://bugs.gentoo.org/917789 Closes: https://bugs.gentoo.org/928093 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: unkeyword ~ia64Arthur Zamarin2024-09-122-2/+2
| | | | | | | | Change was created by running the following command:: ekeyword ^ia64 */*/*.ebuild Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/giac: delete more build artifacts in src_prepare()Michael Orlitzky2024-09-101-3/+9
| | | | | Closes: https://bugs.gentoo.org/939308 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/dunshire: remove pypi upstream metadataMichael Orlitzky2024-09-091-4/+0
| | | | | | | | I pulled my packages from pypi two or three supply-chain attacks ago and forgot to remove this. Closes: https://bugs.gentoo.org/939331 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/twelf: mark as LTO-unsafeEli Schwartz2024-09-091-1/+7
| | | | | | | | | | | | | | Per the contributing guideline: > Twelf, the software, is not under active development, and changes to > the code of Twelf are unlikely to be accepted unless you’re working with > Twelf’s original authors, Frank Pfenning and Carsten Schürmann. Getting this fixed is unlikely to happen, so all that's left is filtering. Closes: https://bugs.gentoo.org/863266 Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
* sci-mathematics/twelf: update HOMEPAGE for httpsEli Schwartz2024-09-091-1/+1
| | | | Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
* sci-mathematics/twelf: update SRC_URI to new mirrorEli Schwartz2024-09-091-2/+2
| | | | | | | | | | | | | The old download site is gone now. The download page points to github now, which in turn says: > This is a placeholder release to hold the final source distribution > tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as > originally hosted on twelf.org. Checksums match. :) Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
* sci-mathematics/twelf: add github upstream metadataEli Schwartz2024-09-091-0/+3
| | | | Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
* sci-mathematics/coq: fix SRC_URIMaciej Barć2024-09-091-2/+2
| | | | | Closes: https://bugs.gentoo.org/939364 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.20.0Maciej Barć2024-09-092-0/+84
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.20.0Maciej Barć2024-09-092-0/+140
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/dunshire: Remove `det setup.py` false positiveMichał Górny2024-09-081-7/+13
| | | | | | | | Remove the pointless call to `distutils_enable_tests setup.py` that is a false positive on packages broken by new dev-python/setuptools versions. Signed-off-by: Michał Górny <mgorny@gentoo.org>