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/msieve: fix build systemDavid Seifert2022-01-294-29/+128
| | | | | | Closes: https://bugs.gentoo.org/725592 Closes: https://bugs.gentoo.org/779589 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-282-0/+107
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathematica: drop unused unpacker.eclassAndreas K. Hüttel2022-01-282-4/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/mathematica: bump to 13.0.0Huang Rui2022-01-282-0/+105
| | | | | | | | Close: https://bugs.gentoo.org/789387 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Huang Rui <vowstar@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23476 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/mathematica: bump to 12.2.0Huang Rui2022-01-282-0/+105
| | | | | | | | Closes: https://bugs.gentoo.org/789387 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Huang Rui <vowstar@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/20766 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/gfan: remove old "unused" ebuilds.Michael Orlitzky2022-01-272-134/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: Stabilize 0.6.2-r4 amd64, #832044Jakov Smolić2022-01-261-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/gfan: Stabilize 0.6.2-r4 x86, #832044Jakov Smolić2022-01-261-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-2511-11/+11
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/gfan: disable test that fails on x86.Michael Orlitzky2022-01-251-0/+4
| | | | | | Closes: https://bugs.gentoo.org/818397 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: new revision to fix the doc build.Michael Orlitzky2022-01-251-0/+71
| | | | | | | | | Something changed with LaTeX and now we need a different set of commands to build the manual. Closes: https://bugs.gentoo.org/830091 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/minisat: reformat metadata.xmlDavid Seifert2022-01-241-24/+23
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: don't install static libraries (pg0204)David Seifert2022-01-242-6/+58
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/yafu: Add openmp dependencyPatrick Lauer2022-01-231-1/+5
| | | | | | Closes: https://bugs.gentoo.org/831890 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Patrick Lauer <patrick@gentoo.org>
* sci-mathematics/geogebra-bin: add 5.0.683.0Georgy Yakovlev2022-01-222-0/+56
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild.Michael Orlitzky2022-01-202-122/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 ppc, #831413Sam James2022-01-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 ppc64, #831413Sam James2022-01-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/nauty: remove old "unused" ebuilds.Michael Orlitzky2022-01-183-108/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: Stabilize 2.7.3 x86, #831412Sam James2022-01-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: Stabilize 2.8.4 x86, #831415Jakov Smolić2022-01-181-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/arb: Stabilize 2.21.0 x86, #831414Jakov Smolić2022-01-181-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 x86, #831413Jakov Smolić2022-01-181-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/flint: Stabilize 2.8.4 amd64, #831415Jakov Smolić2022-01-181-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/arb: Stabilize 2.21.0 amd64, #831414Jakov Smolić2022-01-181-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 amd64, #831413Jakov Smolić2022-01-181-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/nauty: Stabilize 2.7.3 amd64, #831412Jakov Smolić2022-01-181-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/lcalc: remove old "unused" lcalc-2.0.3.ebuild.Michael Orlitzky2022-01-182-32/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: maintainer stabilize v2.0.5 on amd64.Michael Orlitzky2022-01-181-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/minisat: drop old 2.2.0_p20130925 versionMaciej Barć2022-01-173-585/+0
| | | | | | | Closes: https://bugs.gentoo.org/741598 Closes: https://bugs.gentoo.org/713420 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/octave: remove old "unused" ebuilds.Michael Orlitzky2022-01-173-394/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: new upstream version 6.4.0.Michael Orlitzky2022-01-172-0/+205
| | | | | | | Bug: https://bugs.gentoo.org/776583 Closes: https://bugs.gentoo.org/775254 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/spin: backport upstream fix for CVE-2021-46168Marek Szuba2022-01-162-1/+57
| | | | | Closes: https://bugs.gentoo.org/831220 Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/giac: new upstream version 1.7.0.45.Michael Orlitzky2022-01-152-0/+166
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3: fix race condition in parallel make docFrançois-Xavier Carton2022-01-151-0/+1
| | | | | | | | | | | | | | "make doc" uses sphinx to build both latex and html documentation. Both sphinx rules in the makefile include "-d doc/.doctrees", ie. the same path for "the cached environment and doctree files". In a parallel make build, the rules are called simulateously, which means the cached files could be read by one process while they are still being written by the other. Closes: https://bugs.gentoo.org/831168 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23802 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: add missing latex dependenciesFrançois-Xavier Carton2022-01-131-1/+3
| | | | | | | Closes: https://bugs.gentoo.org/828997 Closes: https://github.com/gentoo/gentoo/pull/23774 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/gimps: add 32 bit binaryPPed722022-01-132-2/+4
| | | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://bugs.gentoo.org/830996 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Closes: https://github.com/gentoo/gentoo/pull/23738 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-01-112-104/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771Sam James2022-01-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.13 arm, #830771Sam James2022-01-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771Sam James2022-01-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771Jakov Smolić2022-01-081-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.13 x86, #830771Jakov Smolić2022-01-081-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/lean: bump to 3.37.0Maciej Barć2022-01-082-0/+76
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/rkward: Drop 0.7.2 (r0)Andreas Sturmlechner2022-01-071-54/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/rkward: EAPI-8, more optfeature, various fixesAndreas Sturmlechner2022-01-076-0/+420
| | | | | | | | | | | KDE-bug: https://bugs.kde.org/show_bug.cgi?id=389914 KDE-bug: https://bugs.kde.org/show_bug.cgi?id=430680 KDE-bug: https://bugs.kde.org/show_bug.cgi?id=438993 Reported-by: Milos Popovic <gpopac@gmail.com> Closes: https://bugs.gentoo.org/829998 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/petsc: EAPI 8Alessandro Barbieri2022-01-042-3/+198
| | | | | | | | Closes: https://bugs.gentoo.org/820899 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/22866 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/singular: Keyword 4.2.1_p3 ppc, #829986Arthur Zamarin2021-12-311-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>