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/slepc: add 3.21.1Matthias Maier2024-07-032-0/+127
| | | | | Closes: https://bugs.gentoo.org/929797 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: add 3.21.3Matthias Maier2024-07-034-0/+276
| | | | | Closes: https://bugs.gentoo.org/929795 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/cgal: add 5.6.1Matthias Maier2024-07-032-0/+62
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/wxmaxima: call setup-wxwidgets from src_configureAndrey Grozin2024-07-031-1/+2
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/easycrypt: drop old 2023.09Maciej Barć2024-07-022-51/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: restrict num to version <1.5Maciej Barć2024-07-021-0/+1
| | | | | Closes: https://bugs.gentoo.org/935344 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: bump to version 9.2.0Fabio Rossi2024-07-023-0/+221
| | | | | | | | | | - Added support for Qt6 - Added support for sci-libs/klu - Added support for sci-libs/spqr Closes: https://bugs.gentoo.org/918123 Signed-off-by: Fabio Rossi <rossi.f@inwind.it> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/fricas: remove old revisionAndrey Grozin2024-07-011-94/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: add missing dependenciesAndrey Grozin2024-07-011-0/+100
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: remove old revisionAndrey Grozin2024-07-011-78/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: add USE flag docAndrey Grozin2024-07-012-0/+106
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: remove old versionAndrey Grozin2024-06-303-145/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.11Andrey Grozin2024-06-302-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/stp: build tweaksMaciej Barć2024-06-292-4/+14
| | | | | Closes: https://bugs.gentoo.org/880135 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: Reassign marecki's packagesMichał Górny2024-06-281-4/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/stp: bump to 2.3.4Maciej Barć2024-06-284-0/+160
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: bump to 2.0.0Maciej Barć2024-06-283-0/+61
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: drop old 1.9.4Maciej Barć2024-06-282-48/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/flint: drop 2.9.0Michael Orlitzky2024-06-263-151/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: add 3.1.3_p1Michael Orlitzky2024-06-263-0/+410
| | | | | Closes: https://bugs.gentoo.org/934463 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gap: add 4.13.1Michael Orlitzky2024-06-132-0/+139
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cryptominisat: enable python supportMaciej Barć2024-06-132-1/+69
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: patch unistd includeMaciej Barć2024-06-132-0/+16
| | | | | Closes: https://bugs.gentoo.org/895118 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: drop old 5.11.15Maciej Barć2024-06-132-40/+0
| | | | | | Closes: https://bugs.gentoo.org/919827 Closes: https://bugs.gentoo.org/916127 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.19.2Maciej Barć2024-06-102-0/+123
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/palp: stabilize 2.21 for amd64Michael Orlitzky2024-06-061-1/+1
| | | | | Closes: https://bugs.gentoo.org/929009 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cubicle: ignore TEXTRELSAlfredo Tupone2024-06-041-1/+5
| | | | | Closes: https://bugs.gentoo.org/928102 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/z3: Keyword 4.13.0 mips, #779742Matoro Mahri2024-06-041-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
* sci-mathematics/maxima: add python3_12Andrey Grozin2024-06-041-0/+233
| | | | | Closes: https://bugs.gentoo.org/932149 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/singular: fix dependency on flintAlain Emilia Anna Zscheile2024-06-021-3/+3
| | | | | | Closes: https://bugs.gentoo.org/933174 Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: commit 24.02.1 backAndrey Grozin2024-05-302-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2024-05-302-79/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 24.05.0Andrey Grozin2024-05-302-0/+79
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/singular: drop 4.3.2_p10Michael Orlitzky2024-05-292-115/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: stabilize 4.3.2_p16 for amd64Michael Orlitzky2024-05-291-1/+1
| | | | | | | | Stabilizing this as the maintainer so that the stable singular can be built with the stable flint. Bug: https://bugs.gentoo.org/933042 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: Stabilize 3.1.0 arm64, #933042Sam James2024-05-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.8.7-r3 amd64, #933044Sam James2024-05-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: Stabilize 3.1.0 amd64, #933042Joonas Niilola2024-05-291-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/mathmod: add missing remote-idMichael Mair-Keimberger2024-05-261-0/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/36822 Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/mathmod: add 11.1Michael Mair-Keimberger2024-05-262-0/+39
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/proverif: use edo instead of edobMaciej Barć2024-05-243-9/+9
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: use edo instead of edobMaciej Barć2024-05-242-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/ginac: BDEPEND on media-gfx/fig2devMario Haustein2024-05-231-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 Tupone2024-05-202-2/+89
| | | | | Closes: https://bugs.gentoo.org/839402 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/topcom: add 1.1.2Michael Orlitzky2024-05-153-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>