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/petsc: add 3.19.4Matthias Maier2023-08-062-0/+237
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/pari: new revision to fix USE=X handlingMichael Orlitzky2023-08-021-2/+14
| | | | | | | | | | | | | | | | | Pari's build system is interesting, and choosing a graphics library (for use in plotting) is... not straightforward. We have two patches that affect it, and still nobody has noticed in all this time that USE=X does precisely nothing at all. I've just sent one of those patches, for building against fltk, upstream. To avoid having to reroll the other patch and add an X11 case to it, this revision switches from using e.g. the "--with-fltk" flag to using "--graphic=fltk" instead. This turns out to be a stronger hint to the build system, and more imporantly supports both none/X11 as options, unlike --with-foo. Hopefully it allows us to go patch-free with the next release of pari. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: add 2.15.4Michael Orlitzky2023-07-262-0/+133
| | | | | | | | I've dropped pari-2.9.4-ppc.patch from this version to see if it's still necessary, and to report the problem upstream if so. Closes: https://bugs.gentoo.org/891887 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: use new versions of gclAndrey Grozin2023-07-221-1/+1
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/coq: remove dead codeMaciej Barć2023-07-172-18/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eclib: drop 20221012Michael Orlitzky2023-07-162-41/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: Stabilize 20230424 amd64, #910411Sam James2023-07-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: drop 4.3.1_p3Michael Orlitzky2023-07-152-104/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq-mathcomp: drop old 1.15.0-r1Maciej Barć2023-07-162-24/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.3Maciej Barć2023-07-162-71/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.2-r1Maciej Barć2023-07-162-68/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.1Maciej Barć2023-07-162-67/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.16.1Maciej Barć2023-07-162-121/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.15.2Maciej Barć2023-07-162-121/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: drop old 2022.04_p20220505Maciej Barć2023-07-162-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: drop old 1.5.1Maciej Barć2023-07-162-104/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: drop old 1.4.1-r1Maciej Barć2023-07-162-99/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: add pkg_preinst upgrade from 8.12Maciej Barć2023-07-164-0/+36
| | | | | Closes: https://bugs.gentoo.org/910236 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/flint: drop 2.8.4, 2.8.5Michael Orlitzky2023-07-153-156/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/vampire: bump to 4.8Maciej Barć2023-07-152-0/+60
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: drop old 4.6.1-r2Maciej Barć2023-07-152-60/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/fricas: update HOMEPAGE, SRC_URIUlrich Müller2023-07-112-3/+4
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179Jakov Smolić2023-07-111-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.9Andrey Grozin2023-07-093-0/+112
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/flint: remove hardcoded CFLAGSMatoro Mahri2023-07-092-0/+70
| | | | | | Bug: https://bugs.gentoo.org/909738 Signed-off-by: Matoro Mahri <matoro@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flintqs: treecleanJakov Smolić2023-07-083-64/+0
| | | | | Closes: https://bugs.gentoo.org/898300 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/giac: unbundle x11-libs/gl2ps.Michael Orlitzky2023-07-072-9/+86
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/polymake: add github upstream metadataSam James2023-07-041-0/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/fricas: Drop trivial Emacs site-init fileUlrich Müller2023-07-032-3/+1
| | | | Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/giac: fix and re-enable two disabled tests.Michael Orlitzky2023-06-304-36/+74
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/opensmt: bump to 2.5.1Maciej Barć2023-06-282-0/+72
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.4.3-r2Maciej Barć2023-06-282-72/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.17.1Maciej Barć2023-06-282-0/+113
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.13.0-r1Maciej Barć2023-06-282-89/+0
| | | | | Closes: https://bugs.gentoo.org/777528 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.11Maciej Barć2023-06-252-0/+38
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/giac: add 1.9.0.55Michael Orlitzky2023-06-223-0/+213
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/slepc: add 3.19.1Matthias Maier2023-06-192-0/+127
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: add 3.19.2Matthias Maier2023-06-192-0/+237
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/cgal: add 5.5.2Matthias Maier2023-06-192-0/+62
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183Sam James2023-06-101-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185Arthur Zamarin2023-06-091-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/octave: Stabilize 8.1.0 arm64, #908186Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/nauty: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/normaliz: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/ginac: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/wxmaxima: destabilize for ~x86Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/unuran: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/singular: destabilize for ~x86Arthur Zamarin2023-06-092-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/rw: destabilize for ~x86Arthur Zamarin2023-06-091-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>