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/gfan: mark as LTO-unsafeEli Schwartz2024-03-221-1/+6
| | | | | | Closes: https://bugs.gentoo.org/863044 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: add 30.19.13Paolo Pedroni2024-03-202-0/+76
| | | | | | | Closes: https://bugs.gentoo.org/925623 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://github.com/gentoo/gentoo/pull/35551 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/petsc: add 3.20.5Eli Schwartz2024-03-202-0/+241
| | | | | | | Homepage is now a redirect. Resolve it in the ebuild. Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/petsc: mark as LTO-unsafeEli Schwartz2024-03-201-0/+5
| | | | | | Closes: https://bugs.gentoo.org/863260 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/petsc: drop outdated build time dep on whichEli Schwartz2024-03-204-4/+0
| | | | | | | | Dropped upstream when configure was rewritten from shell to python: https://gitlab.com/petsc/petsc/-/commit/df3bd252dbc574245cbbb4edf6b407438c525c05 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/petsc: add gitlab upstream metadataEli Schwartz2024-03-201-0/+3
| | | | | Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gap: drop 4.12.2-r4Michael Orlitzky2024-03-193-187/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: add 4.13.0, drop 4.13.0_alpha2Michael Orlitzky2024-03-192-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2024-03-162-120/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 x86, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 arm, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/psmt2-frontend: remove unused patch(es)Michael Mair-Keimberger2024-03-161-22/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/giac: remove unused patchesMichael Mair-Keimberger2024-03-162-72/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109Arthur Zamarin2024-03-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-03-152-81/+0
| | | | | Closes: https://bugs.gentoo.org/921952 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/ginac: drop 1.8.6Andreas Sturmlechner2024-03-153-89/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: drop 7.3.0-r2, 8.1.0, 8.2.0, 8.3.0Andreas Sturmlechner2024-03-158-1073/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/wxmaxima: Stabilize 24.02.1 amd64, #920134Sam James2024-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2024-03-133-162/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 24.02.2Andrey Grozin2024-03-132-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/pari: add 2.15.5Michael Orlitzky2024-03-122-0/+138
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: fix build with autoconf-2.72Michael Orlitzky2024-03-112-0/+133
| | | | | | | | New patch fixes AC_SYS_LARGEFILE issues. Thanks to Dima Pasechnik for doing the legwork. Closes: https://bugs.gentoo.org/921138 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: add 3.1.0Michael Orlitzky2024-03-103-0/+114
| | | | | | Fixes the pkg-config install location too. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: add 4.3.2_p16Michael Orlitzky2024-03-093-0/+296
| | | | | Closes: https://bugs.gentoo.org/926459 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/plfit: add 0.9.5, drop 0.9.4Michael Orlitzky2024-03-093-42/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/plfit: add 0.9.4 to fix underlinking issueMichael Orlitzky2024-03-083-0/+75
| | | | | Closes: https://bugs.gentoo.org/926433 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/psmt2-frontend: drop old 0.2Maciej Barć2024-03-082-44/+0
| | | | | Closes: https://bugs.gentoo.org/926434 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/acl2: fix find callMaciej Barć2024-03-081-3/+3
| | | | | Closes: https://bugs.gentoo.org/926430 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: remove the filter-lto/fno-strict-aliasingEli Schwartz2024-03-081-13/+1
| | | | | | | | The fix for this was featured in version 4.13.0, yay. Bug: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Bump to 4.13.0Michał Górny2024-03-082-0/+120
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/acl2: restrict supported SBCL versionsMaciej Barć2024-03-071-3/+3
| | | | | Closes: https://bugs.gentoo.org/926360 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/acl2: bump to 8.5_p20240307Maciej Barć2024-03-072-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/palp: new package, add 2.21Michael Orlitzky2024-03-063-0/+73
| | | | | Closes: https://bugs.gentoo.org/230441 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-03-052-1/+19
| | | | | | | | It has been reported upstream but no response. Closes: https://bugs.gentoo.org/863047 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cadical: bump to 1.9.5Maciej Barć2024-03-042-0/+48
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.8.0Maciej Barć2024-03-042-40/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.19.1Maciej Barć2024-03-042-0/+123
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: drop old 1.17.0Maciej Barć2024-03-042-26/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.18.1Maciej Barć2024-03-043-85/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.18.0Maciej Barć2024-03-042-113/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.17.1Maciej Barć2024-03-042-113/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/giac: drop unused patchMichael Orlitzky2024-03-041-30/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: add 1.9.0.93, drop 1.9.0.67Michael Orlitzky2024-03-044-5/+95
| | | | | | | | This fixes the build with USE="-gui" thanks to a patch by François Bissey. Closes: https://bugs.gentoo.org/916718 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-03-042-2/+26
| | | | | | | | | The strict-aliasing violation happens only in a test program. However, that does mean we cannot test that z3 works when built with LTO... Closes: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cadabra: Stabilize 2.4.5.4 amd64, #925656Sam James2024-02-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.19.0 amd64, #925657Sam James2024-02-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.6Michał Górny2024-02-262-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>