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/cadabra: drop old 2.4.0.2Maciej Barć2022-12-062-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: drop old 2.3.9.3Maciej Barć2022-12-062-100/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.3.2Maciej Barć2022-12-062-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: fix patch applyMaciej Barć2022-12-061-1/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: new package; add 965Maciej Barć2022-12-064-0/+58
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/glpk: keyword 5.0-r1 for ~loongWANG Xuerui2022-12-041-2/+2
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* sci-mathematics/rngstreams: use HTTPSSam James2022-12-031-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/unuran: add 1.9.0Sam James2022-12-033-0/+87
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/rngstreams: workaround configure w/ non-bashSam James2022-12-031-2/+3
| | | | | Closes: https://bugs.gentoo.org/818532 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/unuran: use HTTPSSam James2022-12-031-3/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* Move {virtual -> app-alternatives}/yaccSam James2022-12-024-6/+6
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.3.1Maciej Barć2022-11-292-0/+54
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.2.2Maciej Barć2022-11-282-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: keyword 4.11.2 for ~loongWANG Xuerui2022-11-271-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12Alfredo Tupone2022-11-262-9/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-262-0/+91
| | | | | | This reverts commit 7cfcec3d3f83d53b9da299d770e274f3bbe19754. Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-262-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pari: add 2.15.1, drop 2.15.0Michael Orlitzky2022-11-232-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: drop 5.2.0Andreas Sturmlechner2022-11-234-223/+0
| | | | | Closes: https://bugs.gentoo.org/854489 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/jags: add 4.3.1Sam James2022-11-222-0/+48
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/jags: use ver_cut in SRC_URISam James2022-11-221-5/+5
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl].Michael Orlitzky2022-11-201-1/+1
| | | | | Closes: https://bugs.gentoo.org/849860 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: drop 7.0.4-r4Michael Orlitzky2022-11-194-161/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059Sam James2022-11-201-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059Sam James2022-11-201-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.49.1Maciej Barć2022-11-182-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gmp-ecm: Keyword 7.0.5-r1 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921Arthur Zamarin2022-11-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/octave: fix build loop with USE=doc & texinfo-7.0Sam James2022-11-152-0/+46
| | | | | Closes: https://bugs.gentoo.org/880623 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.3.0Maciej Barć2022-11-132-0/+54
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: drop old 1.1.2-r1Maciej Barć2022-11-132-52/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: drop old 1.1.1-r1Maciej Barć2022-11-132-51/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.46.0Maciej Barć2022-11-122-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.49.0Maciej Barć2022-11-122-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cvc4: drop toml usageAlfredo Tupone2022-11-112-3/+52
| | | | | Closes: https://bugs.gentoo.org/878679 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/giac: drop 1.7.0.47, 1.9.0.5, 1.9.0.21François Bissey2022-11-104-507/+0
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/28203 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: add 1.9.0.29François Bissey2022-11-102-0/+173
| | | | | Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: new revision fixing some dependency issues.Michael Orlitzky2022-11-092-11/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This revision adds a new flag, USE=imagemagick, to pull in media-gfx/graphicsmagick. That's not a typo -- the global USE flag descriptions for "imagemagick" and "graphicsmagick" make this awkward. In any case, Octave upstream doesn't really support imagemagick, only graphicsmagick. Thanks to Fabio Rossi for reporting the issue and suggesting the fix. Furthermore, 1. media-gfx/graphicsmagick was moved to DEPEND because Octave links with it. 2. The "static-libs" USE flag was dropped. 3. A new flag, USE=fltk, was factored out of USE=opengl. The Qt GUI can make use of OpenGL on its own. 4. An old hack for linking with fltk was dropped. 5. A new REQUIRED_USE prevents some nonsense combinations of the X, gui, fltk, and opengl USE flags. 6. Local descriptions for the fltk, gnuplot, and imagemagick flags were added to metadata.xml to explain more accurately what they actually do. Closes: https://bugs.gentoo.org/864785 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/stp: do not run C API testsMaciej Barć2022-11-061-1/+3
| | | | | Closes: https://bugs.gentoo.org/879325 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: Stabilize 6.4.0-r3 arm, #854489Sam James2022-11-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add 7.3.0Sam James2022-11-052-0/+209
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.16.1Maciej Barć2022-10-312-0/+67
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/nauty: drop 2.7.3Michael Orlitzky2022-10-292-78/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: Stabilize 2.7.4 x86, #877789Sam James2022-10-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cadabra: drop old 2.4.2Maciej Barć2022-10-272-105/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>