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/coq-serapi: fix elisp libraries installationMaciej Barć2022-04-201-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: increase required menhir versionMaciej Barć2022-04-162-3/+3
| | | | | | | | | this is a very minor change to keep it in sync with https://opam.ocaml.org/packages/why3 also, no bump is needed since 20170418 version is long gone from ::gentoo Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave-6.4.0: add missing dependencieschn2022-04-161-5/+11
| | | | | | | Closes: https://bugs.gentoo.org/837752 Signed-off-by: Haonan Chen <chn@chn.moe> Closes: https://github.com/gentoo/gentoo/pull/24985 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq-serapi: add ppx_sexp_conv version constraintsMaciej Barć2022-04-161-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.1_p20220407Maciej Barć2022-04-152-0/+52
| | | | | | | | 2022.04.07 snapshot; bumped to get new cmdliner dependency, added in https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: depend on cmdliner <1.1.0Maciej Barć2022-04-151-1/+1
| | | | | | https://opam.ocaml.org/packages/alt-ergo/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/maxima: in 5.46 all localized docs are unicodeAndrey Grozin2022-04-141-2/+1
| | | | | | Closes: https://bugs.gentoo.org/838205 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 22.04.0Andrey Grozin2022-04-132-0/+80
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionAndrey Grozin2022-04-132-80/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.46.0Andrey Grozin2022-04-132-0/+230
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: remove old versionsAndrey Grozin2022-04-133-490/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/pari: new upstream version 2.13.4.Michael Orlitzky2022-04-062-0/+122
| | | | | | Closes: https://bugs.gentoo.org/836869 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517Maciej Barć2022-04-042-0/+13
| | | | | | Bug: https://github.com/cpitclaudel/alectryon/pull/80 Closes: https://bugs.gentoo.org/836748 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cryptominisat: fix sysconfig importMaciej Barć2022-04-032-1/+26
| | | | | | Bug: https://github.com/msoos/cryptominisat/pull/679 Closes: https://bugs.gentoo.org/836684 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/twelf: Thanks to Jouni Kosonen for backquotes fix.Mark Wright2022-03-291-4/+19
| | | | | | | | | Thanks to Agostino Sarubbo and Sam James for reporting and helping. Apply patch by Jouni Kosonen to fix old-style emacs backquotes. Closes: https://bugs.gentoo.org/836270 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/twelf: emake -j1 is sufficient to fix doc buildMark Wright2022-03-291-6/+2
| | | | | | | | Revert the previous change to twelf-1.7.1-doc-guide-Makefile.patch, as the emake -j1 is sufficient to fix the doc build. Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/twelf: Fix ROOT in src_prepare, old-style backquotesMark Wright2022-03-276-16/+131
| | | | | | | | | | | | | Thanks to Sam James and Toralf Forster for reporting. Fix: calls svnversion command that does not exist, thanks to Agostino Sarubbo for reporting. Closes: https://bugs.gentoo.org/836112 Closes: https://bugs.gentoo.org/803296 Closes: https://bugs.gentoo.org/728028 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/lean: drop old 3.40.0Maciej Barć2022-03-272-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.42.1Maciej Barć2022-03-272-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: amd64 stable wrt bug #835981Agostino Sarubbo2022-03-261-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: bump to 8.15.1Maciej Barć2022-03-222-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: fix documentationMaciej Barć2022-03-212-4/+4
| | | | | | | | - add missing dot dependency - install documentation into correct directory (use PF) Closes: https://bugs.gentoo.org/818991 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.15Michał Górny2022-03-212-0/+104
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/mathomatic: [QA] fix tc-get* quotingSam James2022-03-201-3/+3
| | | | | | This can cause build problems for e.g. 32-bit (gcc -m32 ...) Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: bump to 3.42.0Maciej Barć2022-03-182-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: add upstream patch for slibtool support.Michael Orlitzky2022-03-172-0/+38
| | | | | | | Closes: https://bugs.gentoo.org/776583 Bug: https://savannah.gnu.org/bugs/?61905 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: fix link atomic in riscvHan Gao2022-03-162-0/+64
| | | | | | | | Bug: https://bugs.gentoo.org/835003 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Han Gao <rabenda.cn@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24519 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.7.9 amd64, #835335Jakov Smolić2022-03-151-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.7.9 x86, #835335Jakov Smolić2022-03-151-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/coq: re-add ~x86 keyword dropped by mistakeMaciej Barć2022-03-131-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: drop old 3.38.0Maciej Barć2022-03-122-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.41.0Maciej Barć2022-03-122-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/calc: Keyword 2.13.0.1 arm64, #834526Arthur Zamarin2022-03-121-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/why3-for-spark: add USE to select sexpAlfredo Tupone2022-03-112-28/+40
| | | | | | Closes: https://bugs.gentoo.org/834881 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lcalc: fix RDEPEND typoSam James2022-03-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/verit: [QA] fix UnusedInherits (autotools)Sam James2022-03-101-3/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/mathlib-tools: add python3.10 compatMaciej Barć2022-03-091-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.1.1Maciej Barć2022-03-092-0/+50
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: add changelog linkMaciej Barć2022-03-081-0/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lrcalc: Stabilize 2.1 x86, #828376Jakov Smolić2022-03-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/lrcalc: Stabilize 2.1 amd64, #828376Jakov Smolić2022-03-071-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/alectryon: new package; add 1.4.0Maciej Barć2022-03-054-0/+105
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: new package; add 0.15.0Maciej Barć2022-03-055-0/+100
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: new package; add 1.14.0Maciej Barć2022-03-053-0/+41
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)Maciej Barć2022-03-042-0/+46
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.4.1Maciej Barć2022-03-042-0/+99
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 ↵Maciej Barć2022-03-033-0/+64
| | | | | | | snapshot) Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gsl-shell: add version 2.3.2Andrew Ammerlaan2022-03-024-0/+100
| | | | | | | Closes: https://bugs.gentoo.org/570288 Bug: https://bugs.gentoo.org/725628 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/alt-ergo: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>