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/pari: add 2.15.2François Bissey2023-01-163-0/+150
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/29112 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> Signed-off-by: François Bissey <frp.bissey@gmail.com>
* sci-mathematics/form: set VARTEXFONTSAndrey Grozin2023-01-151-2/+2
| | | | | Closes: https://bugs.gentoo.org/890921 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: remove old revisionAndrey Grozin2023-01-151-81/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: DEPEND on latexrecommendedAndrey Grozin2023-01-153-0/+104
| | | | | Closes: https://bugs.gentoo.org/873607 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.0Michał Górny2023-01-152-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-1429-56/+56
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/form: bump to 4.3.0Andrey Grozin2023-01-142-0/+82
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/yices2: do not install static libsMaciej Barć2023-01-141-1/+3
| | | | | Closes: https://bugs.gentoo.org/890758 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: prevent fetching googletestMaciej Barć2023-01-132-0/+76
| | | | | Closes: https://bugs.gentoo.org/890722 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: do not install static libsMaciej Barć2023-01-131-1/+2
| | | | | Closes: https://bugs.gentoo.org/890724 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r2 amd64, #890706Sam James2023-01-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/btor2tools: remove unused patchMaciej Barć2023-01-131-28/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: fix build to not require static libsMaciej Barć2023-01-131-0/+1
| | | | | | Bug: https://bugs.gentoo.org/890700 Bug: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/btor2tools: do not install static librariesMaciej Barć2023-01-131-4/+1
| | | | | Closes: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* Revert "sci-mathematics/picosat: also install static libraries"Maciej Barć2023-01-131-2/+1
| | | | | | | This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a. Closes: https://bugs.gentoo.org/890700 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: Stabilize 6.4.0-r5 arm64, #886641Arthur Zamarin2023-01-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640Sam James2023-01-131-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640Sam James2023-01-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640Sam James2023-01-131-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cryptominisat: bump to 5.11.4Maciej Barć2023-01-122-0/+39
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.15.0-r3Maciej Barć2023-01-122-65/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.16.2Maciej Barć2023-01-122-0/+67
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cubicle: install the provided manual pageMaciej Barć2023-01-111-0/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: new package; add 3.2.2_p20220110Maciej Barć2023-01-113-0/+110
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadical: install ccadical.hMaciej Barć2023-01-111-2/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518Maciej Barć2023-01-115-0/+100
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/picosat: also install static librariesMaciej Barć2023-01-111-1/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cubicle: new package; add 1.2.0Maciej Barć2023-01-114-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2Michael Orlitzky2023-01-102-2/+2
| | | | | Closes: https://bugs.gentoo.org/875710 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/mathlib-tools: Remove Python < 3.10Michał Górny2023-01-103-6/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/kissat: new package; add 3.0.0Maciej Barć2023-01-103-0/+57
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: update metadata xmlMaciej Barć2023-01-101-0/+18
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: keyword 7.3.0-r2 for ~hppaSam James2023-01-091-1/+1
| | | | | | | | | | I didn't keyword this when I did the previous version - I assume because 7.x was unkeyworded in Gentoo for a while for all arches. Oops. Bug: https://bugs.gentoo.org/757822 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/geogebra-bin: drop 5.0.604.0-r2Georgy Yakovlev2023-01-092-56/+0
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/geogebra-bin: add 5.0.752.0Georgy Yakovlev2023-01-092-0/+56
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/opensmt: new package; add 2.4.3Maciej Barć2023-01-093-0/+82
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/acl2: install TAGS if USE=emacsMaciej Barć2023-01-081-1/+1
| | | | | Closes: https://bugs.gentoo.org/890176 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: disable GLIBCXX_ASSERTIONS (libstdc++ bug)Sam James2023-01-082-3/+9
| | | | | | | | | | | It's not a test-only issue so could cause SIGABRT at runtime, so revbump. The libstdc++ issue is reported upstream at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107538. Closes: https://bugs.gentoo.org/887815 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: drop 6.4.0-r3Sam James2023-01-081-215/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/acl2: new package; add 8.5Maciej Barć2023-01-084-0/+119
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/eprover: do not call ar/ranlib directlyMaciej Barć2023-01-041-0/+4
| | | | | Closes: https://bugs.gentoo.org/889646 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: bump to 22.12.0Andrey Grozin2023-01-042-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/eprover: new package; add 3.0_pre008Maciej Barć2023-01-043-0/+94
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pspp: new revision to fix a few security and QA issues.Michael Orlitzky2023-01-012-0/+115
| | | | | | | | | | | | We fix CVE-2022-39831 and CVE-2022-39832 the same way upstream did, by refusing to install the vulnerable program (which was mainly only used for debugging anyway). We now also use a more accurate LICENSE, and add a patch to fix underlinking visible with lld/mold. Bug: https://bugs.gentoo.org/868618 Closes: https://bugs.gentoo.org/732048 Closes: https://bugs.gentoo.org/877751 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/slepc: add 3.18.1Matthias Maier2022-12-283-0/+120
| | | | | Closes: https://bugs.gentoo.org/851099 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: add 3.18.2Matthias Maier2022-12-282-0/+237
| | | | | | | | | Closes: https://bugs.gentoo.org/722612 Closes: https://bugs.gentoo.org/846428 Closes: https://bugs.gentoo.org/846425 Closes: https://bugs.gentoo.org/846422 Closes: https://bugs.gentoo.org/846431 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/lean: bump to 3.50.3Maciej Barć2022-12-272-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.50.0Maciej Barć2022-12-272-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/frobby: update EAPI 6 -> 8David Seifert2022-12-261-18/+14
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gappalib-coq: new package; add 1.5.2Maciej Barć2022-12-243-0/+53
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>