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/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>
* sci-mathematics/giac: drop 1.9.0.93Michael Orlitzky2024-09-052-190/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: add patch to fix GLIBCXX_ASSERTIONS crashMichael Orlitzky2024-09-052-0/+44
| | | | | Closes: https://github.com/gentoo/gentoo/pull/38241 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: Update glibcxx assertion patch for a more complete ↵François Bissey2024-09-051-0/+17
| | | | | | | coverage. Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: add 1.9.0.995François Bissey2024-09-053-0/+213
| | | | | Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rkward: drop 0.7.5Andreas Sturmlechner2024-09-052-58/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/smtinterpol: build without BSFIX, drop java-ant-2Volkmar W. Pogatzki2024-09-031-0/+44
| | | | | | Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/37468/commits/596ccf2967564a9e90a0fa1dd86c5b1053f179be Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
* sci-mathematics/maxima: keyword 5.47.0-r1 for ~riscvMichael Orlitzky2024-09-011-1/+1
| | | | | | The tests fail, but from what I can tell, they fail the usual amount. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.19.20 amd64, #938726Sam James2024-08-311-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: drop 9.2.0Andreas Sturmlechner2024-08-291-218/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: Add missing dependencies w/ USE=guiAndreas Sturmlechner2024-08-291-0/+220
| | | | | Closes: https://bugs.gentoo.org/938706 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/gfan: fix startup crash, other improvementsMichael Orlitzky2024-08-294-0/+173
| | | | | | | AKA steal a few Debian patches. Bug: https://bugs.gentoo.org/717112 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap,dev-gap/*: add ~riscv keywordsMichael Orlitzky2024-08-291-1/+1
| | | | | | (And rearrange some variables to appease pkgcheck.) Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: add 4.12Michael Orlitzky2024-08-293-0/+182
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: keyword 2.0.5-r2 for ~riscvMichael Orlitzky2024-08-261-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: fix cosmetic pkgcheck warningMichael Orlitzky2024-08-261-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: keyword 0.6.2-r4 for ~riscvMichael Orlitzky2024-08-261-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/mathmod: drop oldMichael Mair-Keimberger2024-08-262-50/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/38229 Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/gsl-shell: remove unused patchesMichael Mair-Keimberger2024-08-262-37/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/singular: add 4.4.0_p2François Bissey2024-08-232-0/+107
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/38240 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/planarity: fix remote-id in metadata.xmlEmanuele Torre2024-08-231-3/+1
| | | | | | | | | | | | The <remote-id> tag cannot contain arbitrary whitespace; pkgcheck was complaining about this, and the "Upstream" URL at https://packages.gentoo.org/packages/sci-mathematics/planarity is currently broken since there are extra %20 characters in it that make it point to a non-existing page. Closes: https://github.com/gentoo/gentoo/pull/38257 Signed-off-by: Emanuele Torre <torreemanuele6@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/planarity: keyword 3.0.2.0 for ~riscvMichael Orlitzky2024-08-201-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lrcalc: keyword 2.1 for ~riscvMichael Orlitzky2024-08-201-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>