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/arb: remove unused patchMichael Mair-Keimberger2021-12-091-21/+0
| | | | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/23220 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* sci-mathematics/coq: x86 stable wrt bug #827149Agostino Sarubbo2021-12-071-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/arb: remove old "unused" arb-2.1[78].x ebuildsMichael Orlitzky2021-12-063-113/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gp2c: remove old "unused" gp2c-0.0.11.3.ebuild.Michael Orlitzky2021-12-062-30/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/arb: x86 stable wrt bug #828377Agostino Sarubbo2021-12-061-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149Jakov Smolić2021-12-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/arb: amd64 stable wrt bug #828377Agostino Sarubbo2021-12-061-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gp2c: amd64 stable wrt bug #828375Agostino Sarubbo2021-12-061-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/lean: gmp slotMaciej Barć2021-12-042-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/slepc: version bump to 3.16Matthias Maier2021-12-032-0/+70
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: version bump to 3.16.0 and bugfixFabio Rossi2021-12-013-0/+209
| | | | | | | | | | | | | The latest release is needed to backport the patch from upstream to solve the issue of Gentoo bug #827185 (build issue with USE="fftw -mpi"). Upstream fix is at https://gitlab.com/petsc/petsc/-/merge_requests/4604 Closes: https://bugs.gentoo.org/827185 Signed-off-by: Fabio Rossi <rossi.f@inwind.it> Closes: https://github.com/gentoo/gentoo/pull/23136 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/nauty: Keyword 2.7.3 arm, #826706Arthur Zamarin2021-11-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/cliquer: Keyword 1.22 arm, #826706Arthur Zamarin2021-11-291-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/gimps: Version bump to 30.7 build 9PPed722021-11-292-1/+1
| | | | | | | | Closes: https://bugs.gentoo.org/827272 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.28, Repoman-3.0.3 Closes: https://github.com/gentoo/gentoo/pull/23074 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/wxmaxima: clean old versionsAndrey Grozin2021-11-294-240/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 21.11.0Andrey Grozin2021-11-292-0/+80
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/spin: add 6.5.2, drop 6.5.1Marek Szuba2021-11-283-2/+2
| | | | | | | Somehow I completely missed that version in spite of it having been released only days after 6.5.1. Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/gretl: add 2021d, drop 1.9.90Marek Szuba2021-11-274-33/+57
| | | | | | Closes: https://bugs.gentoo.org/589074 Closes: https://bugs.gentoo.org/648636 Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/spin: add myself as a maintainerMarek Szuba2021-11-261-1/+7
| | | | Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/spin: add 6.5.1, remove 6.4.5Marek Szuba2021-11-265-68/+66
| | | | Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/lean: add liveMaciej Barć2021-11-261-0/+75
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: always use non-hardcoded MAJOR; use readme.gentooMaciej Barć2021-11-261-9/+16
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath: change patch filenameMaciej Barć2021-11-262-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: new package; add version 1.1.0Maciej Barć2021-11-263-0/+69
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: new package; add version 3.35.1Maciej Barć2021-11-264-0/+112
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/metamath: new package; add version 0.198Maciej Barć2021-11-264-0/+63
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lcalc: new upstream version 2.0.4.Michael Orlitzky2021-11-252-0/+32
| | | | | | | Better upstream support for clang/libc++. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: fix v2.7.3 build with GNU libtool.Michael Orlitzky2021-11-231-0/+4
| | | | | | | | | | I accidentally left a variable unset from the Debian autotools patch, leading to build failures with the libtool that everyone actually uses. This commit sets it with sed, and gets us a proper soname again. Closes: https://bugs.gentoo.org/826778 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: new upstream version 2.7.3.Michael Orlitzky2021-11-222-0/+75
| | | | | | | | | | | | | | | | | In principle a straightforward update, except that we need to use a whole new set of re-rolled patches from Debian and Fedora. Other than that, what's new: * EAPI=8. * Added missing sys-apps/help2man to BDEPEND. * Disabled popcnt unconditionally for clang support. * Can now install the example programs with USE=examples. * The unused USE=test flag was dropped. Closes: https://bugs.gentoo.org/751604 Closes: https://bugs.gentoo.org/732020 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: keyword 7.0.4-r4 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/arb: keyword 2.21.0 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/singular: keyword 4.2.1 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/flint: keyword 2.8.3 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/octave-epstk: keyword 2.4 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* sci-mathematics/spin: keyword 6.4.5 for ~riscvAlex Fan2021-11-221-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* */*: reassign aisha's packagesJoonas Niilola2021-11-211-8/+0
| | | | | Bug: https://bugs.gentoo.org/719632 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.13Michał Górny2021-11-192-0/+104
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/maxima: destabilize 5.42.1-r1 for ~ppcGeorgy Yakovlev2021-11-181-1/+1
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/singular: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/mathomatic: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-2/+2
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/lpsolve: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-2/+2
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/ginac: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/flint: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/euler: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/4ti2: de-stabilize for ~ppc, bug #823768Georgy Yakovlev2021-11-181-1/+1
| | | | | Bug: https://bugs.gentoo.org/823768 Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/flint: new upstream version 2.8.4.Michael Orlitzky2021-11-172-1/+1
| | | | | | | | | | The CXX interface is now marked "unmaintained" in this release, and its documentation has been moved into a plain text file. This should take care of the documentation build problems in recent releases. Closes: https://bugs.gentoo.org/816822 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/genius: Bump to 1.0.27Pacho Ramos2021-11-112-0/+56
| | | | | | Closes: https://bugs.gentoo.org/722262 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Pacho Ramos <pacho@gentoo.org>
* sci-mathematics/pari: new upstream version pari-2.13.3.Michael Orlitzky2021-11-102-0/+122
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: remove old pari-2.11.4.ebuild.Michael Orlitzky2021-11-102-119/+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.2 ppc, #821466Sam James2021-11-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>