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/cubicle: require ocamloptMaciej Barć2023-03-081-2/+2
| | | | | Closes: https://bugs.gentoo.org/895214 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: enable python 3.11 support for unstableMaciej Barć2023-03-082-2/+2
| | | | | Bug: https://bugs.gentoo.org/897234 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389Yixun Lan2023-03-071-1/+1
| | | | Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/cvc4: fix build with bash 5.2Kai-Chun Ning2023-03-052-0/+45
| | | | | | | Closes: https://bugs.gentoo.org/883273 Signed-off-by: Kai-Chun Ning <kaichun.ning@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/29933 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/smtinterpol: H -> COMMITMaciej Barć2023-03-041-5/+7
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath-databases: H -> COMMITMaciej Barć2023-03-041-7/+8
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/boolector: H -> COMMITMaciej Barć2023-03-041-5/+6
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/btor2tools: H -> COMMITMaciej Barć2023-03-041-4/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathematica: add 13.2.1Andrew Ammerlaan2023-03-032-0/+175
| | | | | Closes: https://bugs.gentoo.org/894242 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* Rename dev-python/{myst_parser → myst-parser}Michał Górny2023-03-021-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/dunshire: PEP517 and python-3.11 support.Michael Orlitzky2023-02-251-2/+2
| | | | | Closes: https://bugs.gentoo.org/897236 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/alectryon: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gsl-shell: add 2.3.5Andrew Ammerlaan2023-02-244-0/+116
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/libpoly: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/mathlib-tools: enable py3.11Andrew Ammerlaan2023-02-241-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/cvc4: add support to python 3.11Alfredo Tupone2023-02-221-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPENDMaciej Barć2023-02-221-11/+17
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: patch - include cstdintMaciej Barć2023-02-202-0/+14
| | | | | Closes: https://bugs.gentoo.org/895096 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: rename patchesMaciej Barć2023-02-203-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/ginac: bump to 1.8.6Andrey Grozin2023-02-173-0/+89
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/coq-serapi: drop old 0.16.0-r1Maciej Barć2023-02-172-67/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.16.3Maciej Barć2023-02-172-0/+70
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2023-02-163-160/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 23.02.0Andrey Grozin2023-02-162-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: add python3_11Andrey Grozin2023-02-161-0/+228
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/ginac: remove old versionsAndrey Grozin2023-02-164-161/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/coq-mathcomp: fix depsMaciej Barć2023-02-163-5/+14
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/flocq: fix depsMaciej Barć2023-02-161-3/+6
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gappalib-coq: fix deps; add ocamloptMaciej Barć2023-02-161-3/+5
| | | | | Closes: https://bugs.gentoo.org/894746 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27Ionen Wolkens2023-02-151-0/+2
| | | | | | | | | | | | Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-144-4/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-144-4/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/eclib: drop 20220621Michael Orlitzky2023-02-092-36/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: Stabilize 20221012 amd64, #893528Sam James2023-02-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/eclib: Stabilize 20221012 x86, #893528Sam James2023-02-071-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/primecount: drop 7.4Michael Orlitzky2023-02-072-55/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: stabilize 7.6 for amd64Michael Orlitzky2023-02-071-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: drop 8.0Michael Orlitzky2023-02-072-51/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: stabilize 11.0 for amd64Michael Orlitzky2023-02-071-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: drop 6.4.0-r5Andreas Sturmlechner2023-02-072-219/+0
| | | | | Closes: https://bugs.gentoo.org/886641 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/bertini: bump to 1.6Maciej Barć2023-02-062-0/+67
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: fix build on muslMaciej Barć2023-02-062-0/+134
| | | | | | Bug: https://github.com/usi-verification-and-security/opensmt/pull/590 Closes: https://bugs.gentoo.org/890794 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.4.3Maciej Barć2023-02-061-70/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/minisat: fix build on muslMaciej Barć2023-02-062-4/+50
| | | | | | Bug: https://github.com/stp/minisat/pull/6 Closes: https://bugs.gentoo.org/832519 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-063-5/+49
| | | | | | Bug: https://github.com/vprover/vampire/pull/432 Closes: https://bugs.gentoo.org/832834 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lpsolve: add subslot for new versionSam James2023-02-041-1/+12
| | | | | | | It broke ABI and I didn't realise, sorry! Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+380
| | | | | | | Note that this is -r1 because of e00dce2f8eabd06e24eabd8f4d940d6dcec1ebc2. Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* Revert "sci-mathematics/lpsolve: add 5.5.2.11"Sam James2023-02-033-368/+0
| | | | | | | | | This reverts commit 4d99a7bbea555c90ad7a180ac42de81579464dee. I didn't mean to push this yet. Bug: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+368
| | | | | Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/easycrypt: H -> COMMITMaciej Barć2023-02-022-10/+10
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>