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/coq: Bump to 8.9.1Mark Wright2019-09-242-0/+87
| | | | | | | | | Thanks to Han and Anton Kochkov for requesting the bump. Closes: https://bugs.gentoo.org/653864 Closes: https://bugs.gentoo.org/672038 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/gimps: Cleanup old versionPPed722019-09-232-62/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-2.3.69, Repoman-2.3.16 Closes: https://github.com/gentoo/gentoo/pull/12971 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: version bump to version 29.8b6PPed722019-09-232-0/+72
| | | | | | | | | Also bump to EAPI-7 Closes: https://bugs.gentoo.org/694962 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.6Michał Górny2019-09-202-0/+94
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #693856)Aaron Bauman2019-09-161-1/+1
| | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.17
* sci-mathematics/gmp-ecm: Fix custom-tune useflagPatrick Lauer2019-09-151-2/+1
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Patrick Lauer <patrick@gentoo.org>
* sci-mathematics/isabelle: Remove last-rited pkgMichał Górny2019-09-1413-647/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cvc3: Remove last-rited pkgMichał Górny2019-09-145-266/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/e: Remove last-rited pkgMichał Górny2019-09-145-238/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/kodkodi: Remove last-rited pkgMichał Górny2019-09-143-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/spass: Remove last-rited pkgMichał Górny2019-09-143-163/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.09.0Andrey Grozin2019-09-142-0/+46
| | | | | Package-Manager: Portage-2.3.75, Repoman-2.3.17 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: arm stable wrt bug #693856Mikle Kolyada2019-09-131-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/alt-ergo: fix BadInsIntoDir warningTupone Alfredo2019-09-122-4/+2
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URIMark Wright2019-09-115-256/+84
| | | | | | | | Thanks to yuLya for reporting, Ian Zimmerman for finding the homepage. Closes: https://bugs.gentoo.org/680690 Package-Manager: Portage-2.3.75, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/z3: ppc64 stable wrt bug #693856Agostino Sarubbo2019-09-111-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: amd64 stable wrt bug #693856Agostino Sarubbo2019-09-101-1/+1
| | | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/alt-ergo: fix buildTupone Alfredo2019-09-071-1/+3
| | | | | | Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/drgeo: RemoveMatt Turner2019-09-014-129/+0
| | | | | Closes: https://bugs.gentoo.org/592188 Signed-off-by: Matt Turner <mattst88@gentoo.org>
* sci-mathematics/num-utils: Remove oldDavid Seifert2019-08-292-28/+0
| | | | | Package-Manager: Portage-2.3.73, Repoman-2.3.17 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gmp-ecm: BumpPatrick Lauer2019-08-252-0/+56
| | | | | Package-Manager: Portage-2.3.72, Repoman-2.3.17 Signed-off-by: Patrick Lauer <patrick@gentoo.org>
* sci-mathematics/octave: Bump to 5.1.0.Benda Xu2019-08-253-0/+236
| | | | | | | | | | | | | | | | | | Adopted to ${PN}-5.1.0-pkgbuilddir.patch with minor changes. Removed --without-OSMesa as the option is no longer available. Removed --Wl,-z defs, because upstream designed the related objects as loadable plugins. Reference: http://savannah.gnu.org/bugs/?53627 Suggested-By: Fabio Rossi Bug: https://bugs.gentoo.org/593670 Closes: https://bugs.gentoo.org/661048 Closes: https://bugs.gentoo.org/679654 Signed-off-by: Benda Xu <heroxbd@gentoo.org>
* sci-mathematics/rstudio: Fix #692728 dep webkit -> webengineMark Wright2019-08-231-1/+1
| | | | | | | | | Thanks to Ulenrich for reporting, rstudio changed the dev-qt/webkit dependency to dev-qt/webengine Closes: https://bugs.gentoo.org/692728 Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/spass: add missing slashThomas Deutschmann2019-08-221-1/+1
| | | | | Package-Manager: Portage-2.3.72, Repoman-2.3.17 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/rstudio: fix slashesThomas Deutschmann2019-08-221-3/+3
| | | | | Package-Manager: Portage-2.3.72, Repoman-2.3.17 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/spass: fix missing slashesThomas Deutschmann2019-08-221-7/+7
| | | | | Package-Manager: Portage-2.3.72, Repoman-2.3.17 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/rstudio: fix missing slashesThomas Deutschmann2019-08-221-3/+3
| | | | | Package-Manager: Portage-2.3.72, Repoman-2.3.17 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/spass: Fix #645394, remove oldMark Wright2019-08-223-86/+4
| | | | | | Closes: https://bugs.gentoo.org/645394 Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/rstudio: Bump to 1.2.1335, fix compile with >=boost 1.70.0Mark Wright2019-08-2217-383/+1451
| | | | | | | | | | | | Bump, thanks to Neil, Ulenrich, François Valenduc, Thomas Bettler, Simon Maurer, Bernd Feige and asturm for helping. Split the rstudio-1.1.463-boost-1.69.0_p?.patch patches into 3 patch files. Closes: https://bugs.gentoo.org/683050 Closes: https://bugs.gentoo.org/686186 Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.08.1Andrey Grozin2019-08-182-0/+58
| | | | | Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: cleaning old versionsAndrey Grozin2019-08-183-134/+0
| | | | | Package-Manager: Portage-2.3.71, Repoman-2.3.17 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/slepc: port to EAPI 7Matthias Maier2019-08-051-6/+6
| | | | | Package-Manager: Portage-2.3.70, Repoman-2.3.16 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/slepc: package migration from ::science overlayMatthias Maier2019-08-053-0/+91
| | | | | | | After years in ::science it is stable enough to be hosted in ::gentoo. Package-Manager: Portage-2.3.70, Repoman-2.3.16 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: package migration from ::science overlayMatthias Maier2019-08-055-0/+252
| | | | | | | After years in ::science it is stable enough to be hosted in ::gentoo. Package-Manager: Portage-2.3.70, Repoman-2.3.16 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/gwnum: Remove last-rited packageDavid Seifert2019-08-013-42/+0
| | | | | | | | | Closes: https://bugs.gentoo.org/452220 Closes: https://bugs.gentoo.org/461288 Closes: https://bugs.gentoo.org/623360 Closes: https://bugs.gentoo.org/685728 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/lpsolve: arm64 stableAaron Bauman2019-07-301-2/+2
| | | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm64"
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-272-0/+43
| | | | | Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/psmt2-frontend: add psmt2-frontendTupone Alfredo2019-07-264-0/+60
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12536 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/yacas: Drop broken 1.7.0 (r0)Andreas Sturmlechner2019-07-241-53/+0
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/yacas: Fix desktop file icon pathAndreas Sturmlechner2019-07-242-1/+28
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/yacas: Disable cmake external downloads, use bundledAndreas Sturmlechner2019-07-243-0/+170
| | | | | | Closes: https://bugs.gentoo.org/690534 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12520 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USEMichał Górny2019-07-221-2/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo]Lars Wendler2019-07-183-3/+67
| | | | | | Closes: https://bugs.gentoo.org/675670 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Lars Wendler <polynomial-c@gentoo.org>
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
| | | | | | Closes: https://bugs.gentoo.org/689918 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/yacas: Drop 1.6.1-r1Andreas Sturmlechner2019-07-173-57/+0
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/yacas: 1.7.0 version bumpAndreas Sturmlechner2019-07-173-0/+273
| | | | | | | | | Drop USE doc, needs unpackaged sphinxcontrib-bibtex. Drop USE java, nothing is installed, no-op in 1.6.1 already. Closes: https://bugs.gentoo.org/687844 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>