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/wxmaxima: remove old versionAndrey Grozin2023-08-292-80/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/ginac: bump to 1.8.7Andrey Grozin2023-08-292-0/+77
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.08.0Andrey Grozin2023-08-292-0/+81
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/octave: add 8.3.0Michael Orlitzky2023-08-232-0/+242
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/normaliz: add 3.10.1, drop 3.10.0Michael Orlitzky2023-08-232-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/vampire: drop old 4.7-r1Maciej Barć2023-08-223-104/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.5.1Maciej Barć2023-08-223-205/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: Stabilize 8.1.0 arm, #908186Sam James2023-08-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/opensmt: fix .so installMaciej Barć2023-08-172-4/+6
| | | | | Closes: https://bugs.gentoo.org/912314 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/yacas: update upstream metadataMichael Orlitzky2023-08-161-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/yacas: add dev-libs/mathjax upper boundMichael Orlitzky2023-08-161-1/+2
| | | | | | | | Upstream bundles mathjax-2.x, so when we add mathjax-3.x, bad things will happen otherwise. Bug: https://bugs.gentoo.org/837722 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296Sam James2023-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295Sam James2023-08-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: Stabilize 3.51.1 amd64, #912297Arthur Zamarin2023-08-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/kissat: bump to 3.1.0Maciej Barć2023-08-152-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: bump to 2.5.2Maciej Barć2023-08-152-0/+72
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.5.0Maciej Barć2023-08-152-72/+0
| | | | | Closes: https://bugs.gentoo.org/894728 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/verifpal: new package; add 0.27.0Maciej Barć2023-08-134-0/+70
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-135-0/+173
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: drop old 5.11.4Maciej Barć2023-08-133-52/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.12Maciej Barć2023-08-132-0/+38
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.07.0Andrey Grozin2023-08-123-0/+86
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* 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>