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/normaliz: drop 3.1.3-r1, 3.8.10-r1Michael Orlitzky2022-08-163-133/+0
| | | | | Closes: https://bugs.gentoo.org/625912 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/normaliz: x86 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/normaliz: amd64 stable wrt bug #865345Agostino Sarubbo2022-08-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8Andreas Sturmlechner2022-08-154-4/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/eclib: x86 stable wrt bug #864997Agostino Sarubbo2022-08-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/eclib: amd64 stable wrt bug #864997Agostino Sarubbo2022-08-131-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/octave: don't install test logs with FEATURES=test.Michael Orlitzky2022-08-121-2/+0
| | | | | | | | This was apparently intentional, but I guess I agree that these logs are not really end-user documentation and are therefore mis-dodoc'd. Closes: https://bugs.gentoo.org/861410 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lpsolve: keyword 5.5.2.0-r1 for ~loongWANG Xuerui2022-08-121-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* sci-mathematics/planarity: drop 3.0.1.1Michael Orlitzky2022-08-112-19/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/nauty: add 2.7.4Michael Orlitzky2022-08-112-0/+85
| | | | | | | | | | This version also modifies the nauty.pc file to report the same version information that the ebuild contains. This is one of a few bad choices we're bequeathed from the crazy upstream versioning scheme; it probably does no harm and makes the QA warning go away. Closes: https://bugs.gentoo.org/863053 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/planarity: Stabilize 3.0.2.0 x86, #864837Joonas Niilola2022-08-111-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/planarity: Stabilize 3.0.2.0 amd64, #864837Joonas Niilola2022-08-111-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc64, #864214Arthur Zamarin2022-08-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4-r1 ppc, #864214Arthur Zamarin2022-08-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.4-r1 x86, #864214Joonas Niilola2022-08-091-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/lean: drop old 3.43.0Maciej Barć2022-08-092-78/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.46.0Maciej Barć2022-08-092-0/+78
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: compile python modulesMaciej Barć2022-08-081-1/+6
| | | | | Closes: https://bugs.gentoo.org/864124 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathematica: add 13.1.0Huang Rui2022-08-083-0/+192
| | | | | | Signed-off-by: Huang Rui <vowstar@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/25148 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/mathematica: add 13.0.1Huang Rui2022-08-083-4/+185
| | | | | | | | | | | | | | | Fix ebuild QA problem and add missing RDEPEND Add cuda use flag and nvidia-cuda-toolkit RDEPEND Add R use flag and dev-lang/R RDEPEND Fix RPATH and add dev-util/patchelf as BDEPEND Add QT_QPA_PLATFORM="wayland;xcb" to fix problem on wayland Disable doc use flag by default Install icons from SystemFiles/FrontEnd/SystemResources/X Add myself as a maintainer (proxy-maint) Closes: https://bugs.gentoo.org/859793 Signed-off-by: Huang Rui <vowstar@gmail.com> Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/pari: disable "help" tests in the absence of USE=doc.Michael Orlitzky2022-08-081-0/+9
| | | | | Closes: https://bugs.gentoo.org/864289 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: amd64 stable wrt bug #864214Agostino Sarubbo2022-08-081-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-072-2/+10
| | | | | Closes: https://bugs.gentoo.org/863269 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/stp: filter LTO (ODR)Maciej Barć2022-08-071-2/+6
| | | | | Closes: https://bugs.gentoo.org/863263 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/primesieve: drop 7.7Michael Orlitzky2022-08-062-51/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: stabilize 7.9 for amd64Michael Orlitzky2022-08-061-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: drop 7.2-r1Michael Orlitzky2022-08-062-55/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: stabilize 7.3 for amd64Michael Orlitzky2022-08-061-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: drop 7.1.0Sam James2022-08-032-213/+0
| | | | | Bug: https://bugs.gentoo.org/842645 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add 7.2.0Sam James2022-08-032-0/+216
| | | | | Closes: https://bugs.gentoo.org/842645 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lean: filter LTO (odr)Maciej Barć2022-08-024-4/+12
| | | | | Closes: https://bugs.gentoo.org/863086 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999Arthur Zamarin2022-08-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* 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>