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/ginac: Stabilize 1.8.2 x86, #850328Jakov Smolić2022-06-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.8.2 amd64, #850328Jakov Smolić2022-06-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/pspp: add 1.6.0Sam James2022-06-072-0/+83
| | | | | Closes: https://bugs.gentoo.org/846278 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-06-063-213/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061Jakov Smolić2022-06-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 x86, #850061Jakov Smolić2022-06-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061Jakov Smolić2022-06-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061Jakov Smolić2022-06-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 arm, #850061Jakov Smolić2022-06-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/pari: remove old "unused" pari-2.13.3.ebuild.Michael Orlitzky2022-06-032-122/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/petsc: revbump for configure fixSam James2022-06-032-0/+0
| | | | | | | | | So that binaries are built with the expected flags (it just gave a warning, not an error like I'd thought.) Bug: https://bugs.gentoo.org/848789 See: 27ba48650af3037fa8adf06220d4e5f1373f5885 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/petsc: fix configuration with USE=mumpsFabio Rossi2022-06-032-3/+3
| | | | | | | Bug: https://bugs.gentoo.org/848789 Signed-off-by: Fabio Rossi <rossi.f@inwind.it> Closes: https://github.com/gentoo/gentoo/pull/25701 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4 ppc, #849080Sam James2022-06-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4 ppc64, #849080Sam James2022-06-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4 amd64, #849080Sam James2022-06-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4 x86, #849080Sam James2022-06-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/rkward: 0.7.4 version bumpAndreas Sturmlechner2022-06-012-0/+58
| | | | | | | See also: https://rkward.kde.org/News.html#rkward-074 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/rkward: Drop 0.7.2-r1Andreas Sturmlechner2022-06-017-421/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-312-0/+91
| | | | | | | | This reverts commit 9ea25f14ec426e1f253eb819ba5708bca9d7915e. Needed by sci-mathematics/why3-for-spark-2020 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-312-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.15.2Maciej Barć2022-05-312-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/singular: drop unused flag-o-matic inherit.Michael Orlitzky2022-05-271-1/+1
| | | | | | | | | | The append-cxxflags that this was used for is obsolete in the latest version; thusly the eclass. Closes: https://github.com/gentoo/gentoo/pull/25564 Closes: https://bugs.gentoo.org/846506 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: update gcc12 patchFrançois Bissey2022-05-271-10/+1
| | | | | | | Closes: https://bugs.gentoo.org/841248 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/singular: Add François Bissey as proxy maintainerFrançois Bissey2022-05-271-0/+8
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Bug: https://bugs.gentoo.org/846506 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: clean singular 4.3.0François Bissey2022-05-274-178/+0
| | | | | | 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/singular: upstream bumpFrançois Bissey2022-05-273-0/+200
| | | | | | 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/flint: new upstream v2.8.5.Michael Orlitzky2022-05-262-0/+81
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/petsc: drop superfluous USE=cxxMatthias Maier2022-05-251-8/+4
| | | | | Closes: https://bugs.gentoo.org/846434 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/slepc: drop 3.13.1, 3.14.2, 3.15.0Matthias Maier2022-05-254-210/+0
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: drop 3.13.1, 3.14.6, 3.15.0, 3.15.0-r1Matthias Maier2022-05-258-919/+0
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/slepc: add 3.17.1Matthias Maier2022-05-252-0/+69
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: add 3.17.1Matthias Maier2022-05-252-0/+195
| | | | Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/octave: add sundials upper boundSam James2022-05-261-1/+2
| | | | | Closes: https://bugs.gentoo.org/846968 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/dunshire: new revision with python-3.10 support.Michael Orlitzky2022-05-181-3/+3
| | | | | | Closes: https://bugs.gentoo.org/846275 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lean: drop old 3.41.0Maciej Barć2022-05-182-76/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.43.0Maciej Barć2022-05-182-0/+76
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/rkward: 0.7.3 version bumpAndreas Sturmlechner2022-05-182-0/+58
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: Keyword 6.4.0-r2 hppa, #757822Sam James2022-05-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/primecount: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-161-1/+6
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gretl: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-161-4/+6
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gmp-ecm: [QA] use tc-check-openmp correctlyDavid Seifert2022-05-162-3/+12
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/agda-stdlib: egrep -> grep -ESam James2022-05-151-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/normaliz: [QA] tc-has-openmp → tc-check-openmpDavid Seifert2022-05-143-7/+20
| | | | | Closes: https://github.com/gentoo/gentoo/pull/25486 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gmp-ecm: fix qa WhitespaceFoundConrad Kostecki2022-05-141-2/+2
| | | | Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/normaliz: new upstream version 3.9.3.Michael Orlitzky2022-05-083-1/+71
| | | | | | | | | | | | | * EAPI=8 * No more autotools.eclass (upstream provides a real release). * Install the quick reference doc. * Support USE=nauty for automorphism group computation. * Pass --without-foo for remaining unsupported options. * Use the default src_test(). * Fix QA warning about pre-stripped files. Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision to fix gmp dependency.Michael Orlitzky2022-05-071-1/+2
| | | | | | | | We need gmp[cxx] to link with -lgmpxx. Closes: https://bugs.gentoo.org/776883 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: remove old topcom-0.17.7-r1.ebuild.Michael Orlitzky2022-05-073-381/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/topcom: new revision with miscellaneous fixes.Michael Orlitzky2022-05-073-73/+181
| | | | | | | | | | | | * Update to EAPI=8. * Update the buildsystem patch to eliminate a call to "csh", fixing bug 732022 without requiring csh at build-time. * Drop tcsh from BDEPEND. * HOMEPAGE and SRC_URI needed updates. Closes: https://bugs.gentoo.org/732022 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć2022-05-072-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć2022-05-072-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>