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/z3: Bump to 4.10.2Michał Górny2022-07-302-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/octave: Move dev-qt/linguist-tools:5 to BDEPENDAndreas Sturmlechner2022-07-272-6/+8
| | | | | | | Bug: https://bugs.gentoo.org/544938 Bug: https://github.com/gentoo/gentoo/pull/26595 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3-for-spark: use httpsMichael Mair-Keimberger2022-07-263-3/+3
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Closes: https://github.com/gentoo/gentoo/pull/26610 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3: use httpsMichael Mair-Keimberger2022-07-263-3/+3
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/vampire: bump to 4.7Maciej Barć2022-07-232-0/+58
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-2/+2
| | | | | Closes: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Bump to 4.10.1Michał Górny2022-07-232-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/why3: remove unnecessary seq dependencyMaciej Barć2022-07-233-3/+3
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/singular: remove unused patchesMichael Mair-Keimberger2022-07-193-177/+0
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Portage 3.0.32 / pkgdev 0.2.1 / pkgcheck 0.10.11 Closes: https://github.com/gentoo/gentoo/pull/26478 Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/cgal: add 5.5Sam James2022-07-162-0/+62
| | | | | Closes: https://bugs.gentoo.org/850697 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: remove old "unused" ebuilds.Michael Orlitzky2022-07-164-342/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: remove "unused" lcalc-2.0.5-r1.ebuild.Michael Orlitzky2022-07-161-31/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: maintainer stabilize 2.0.5-r2.Michael Orlitzky2022-07-161-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: new upstream release giac-1.9.0.19.Michael Orlitzky2022-07-162-0/+167
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: fix UnusedInherits on 4.3.1_p1Joonas Niilola2022-07-151-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/singular: upstream bump to 4.3.1_p1François Bissey2022-07-152-0/+104
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/26298 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/lean: drop old 3.42.1Maciej Barć2022-07-142-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.45.0Maciej Barć2022-07-142-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/wxmaxima: bump tp 22.05.0Andrey Grozin2022-07-132-0/+80
| | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> Package-Manager: Portage-3.0.32, Repoman-3.0.3
* sci-mathematics/cadabra: drop old 2.3.8Maciej Barć2022-07-122-100/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cadabra: bump to 2.3.9.3Maciej Barć2022-07-122-0/+100
| | | | | Closes: https://bugs.gentoo.org/857606 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: x86 stable wrt bug #854489Agostino Sarubbo2022-07-081-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/mathomatic: update EAPI 6 -> 8David Seifert2022-07-071-9/+15
| | | | | | Closes: https://bugs.gentoo.org/805899 Closes: https://bugs.gentoo.org/810325 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/z3: Fix subslot in 4.9.1Michał Górny2022-07-071-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.9.1Michał Górny2022-07-072-0/+109
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/octave: amd64 stable wrt bug #854489Agostino Sarubbo2022-07-071-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/octave: Stabilize 6.4.0-r3 arm64, #854489Arthur Zamarin2022-07-061-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/pspp: add 1.6.2Sam James2022-07-052-0/+85
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: remove unused patch(es)Michael Mair-Keimberger2022-07-032-34/+0
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/26139 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/eclib: upstream bumpFrançois Bissey2022-07-022-0/+36
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/26199 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/arb: new upstream v2.23.0.Michael Orlitzky2022-07-012-0/+34
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: new upstream v2.9.0.Michael Orlitzky2022-07-012-0/+81
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/alt-ergo: require ocamloptAlfredo Tupone2022-06-291-0/+1
| | | | | | Closes: https://bugs.gentoo.org/849374 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lean: drop old 3.39.1 & 3.42.0Maciej Barć2022-06-273-152/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.44.1Maciej Barć2022-06-272-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3-for-spark: refix QA_FLAGSAlfredo Tupone2022-06-271-3/+3
| | | | | | Closes: https://bugs.gentoo.org/854555 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: ignore some QA warningsAlfredo Tupone2022-06-271-13/+3
| | | | | | Closes: https://bugs.gentoo.org/837278 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/pspp: add note re whichSam James2022-06-262-0/+29
| | | | | | Not backporting it for now b/c not worth the eautoreconf, I guess. Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: add 1.6.1Sam James2022-06-262-0/+86
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: drop 1.2.0-r1, 1.4.1Sam James2022-06-2610-618/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: x86 stable wrt bug #853601Agostino Sarubbo2022-06-241-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.0 amd64, #853601Sam James2022-06-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/fricas: remove old versionAndrey Grozin2022-06-222-109/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.8Andrey Grozin2022-06-222-0/+111
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/lpsolve: update EAPI 6 -> 8David Seifert2022-06-211-13/+3
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.8.15Paolo Pedroni2022-06-212-4/+76
| | | | | | | | | | | New beta version with improved P-1 testing Also EAPI=8 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://bugs.gentoo.org/850625 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Closes: https://github.com/gentoo/gentoo/pull/25809 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gimps: Remove oldPaolo Pedroni2022-06-212-147/+0
| | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/alt-ergo: fix OCaml depSam James2022-06-211-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/num-utils: x86 stable wrt bug #837833Agostino Sarubbo2022-06-181-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/num-utils: amd64 stable wrt bug #837833Agostino Sarubbo2022-06-181-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>