summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/proverif: use edo instead of edobMaciej Barć2 days3-9/+9
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: use edo instead of edobMaciej Barć2 days2-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/ginac: BDEPEND on media-gfx/fig2devMario Haustein3 days1-0/+76
| | | | | | | | | media-gfx/fig2dev now provides ghostscript support Bug: https://bugs.gentoo.org/926432 Signed-off-by: Mario Haustein <mario.haustein@hrz.tu-chemnitz.de> Closes: https://github.com/gentoo/gentoo/pull/36779 Signed-off-by: Florian Schmaus <flow@gentoo.org>
* sci-mathematics/cvc4: fix musl buildAlfredo Tupone6 days2-2/+89
| | | | | Closes: https://bugs.gentoo.org/839402 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/topcom: add 1.1.2Michael Orlitzky10 days3-0/+351
| | | | | Closes: https://bugs.gentoo.org/928063 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: Stabilize 4.13.0 amd64, #931511Joonas Niilola2024-05-081-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* */*: inline mirror://sourceforgeLucio Sauer2024-04-3014-28/+28
| | | | | | | bump copyright of touched ebuilds to 2024 Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/stp: enable py3.12 compatMaciej Barć2024-04-291-18/+26
| | | | | Closes: https://bugs.gentoo.org/929798 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alectryon: enable py3.12 compatMaciej Barć2024-04-291-6/+10
| | | | | Closes: https://bugs.gentoo.org/929789 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/petsc: add subslot dep on sci-libs/hdf5Sam James2024-04-237-7/+7
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.5.7Maciej Barć2024-04-233-0/+163
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/dunshire: add 0.1.3, drop 0.1.1-r4Michael Orlitzky2024-04-203-39/+27
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.5.5Maciej Barć2024-04-192-113/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.5.6Maciej Barć2024-04-192-0/+113
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/ginac: BDEPEND on media-gfx/transfigAndrey Grozin2024-04-181-0/+76
| | | | | | Closes: https://bugs.gentoo.org/926432 Closes: https://bugs.gentoo.org/929791 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.5.5Maciej Barć2024-04-182-0/+113
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.4.1Maciej Barć2024-04-182-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: fix qscintilla dep #916232José P. R. N. Assis2024-04-161-1/+1
| | | | | | | | | | Adding [qt5(+)] to the qscintilla in preparation to supporting Qt5/Qt6 QScintilla multibuild. All revision numbers have been bumped (except for 8.3.0). Keywords kept as-is. Bug: https://bugs.gentoo.org/916232 Signed-off-by: José P. R. N. Assis <espinafre@gmail.com> Signed-off-by: Jimi Huotari <chiitoo@gentoo.org>
* sci-mathematics/gimps: drop 30.7.9, 30.19.13Paolo Pedroni2024-04-143-152/+0
| | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Signed-off-by: Matthew Smith <matthew@gentoo.org>
* sci-mathematics/gimps: Version Bump to 30.19.14Paolo Pedroni2024-04-142-0/+75
| | | | | | | Closes: https://bugs.gentoo.org/928514 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://github.com/gentoo/gentoo/pull/36076 Signed-off-by: Matthew Smith <matthew@gentoo.org>
* sci-mathematics/dunshire: support python-3.12, drop 3.9Michael Orlitzky2024-04-131-2/+2
| | | | | Closes: https://bugs.gentoo.org/929790 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/boolector: fix install on muslMaciej Barć2024-04-091-4/+6
| | | | | Closes: https://bugs.gentoo.org/928977 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: drop old 3.2.2_p20220110Maciej Barć2024-04-092-80/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/slepc: add 3.20.1Matthias Maier2024-04-042-0/+127
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/singular: backport strict-aliasing/lto fixMichael Orlitzky2024-04-022-9/+20
| | | | | Bug: https://bugs.gentoo.org/927675 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-04-012-2/+18
| | | | | | Closes: https://bugs.gentoo.org/927675 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2024-03-232-120/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602Sam James2024-03-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602Michał Górny2024-03-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 x86, #927602Michał Górny2024-03-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602Michał Górny2024-03-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602Michał Górny2024-03-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.13.0 arm, #927602Michał Górny2024-03-231-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>