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/gmp-ecm: drop oldSergei Trofimovich2019-10-162-51/+0
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/rstudio: migrate to sys-libs/pamMikle Kolyada2019-10-125-10/+10
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics: Remove *-fbsd KEYWORDSMichał Górny2019-10-118-8/+8
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2019Tupone Alfredo2019-10-113-0/+91
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/rw: new revision to fix the build.Michael Orlitzky2019-10-081-0/+11
| | | | | | | | | | | | No good deed goes unpunished! The recent version bump that contained only "minor build system and documentation fixes" broke the build. The upstream v0.8 tarball contains symlinks to various important files instead of the files themselves, and that doesn't always work. Instead, we now run eautoreconf in src_prepare() to (re)generate those files. Closes: https://bugs.gentoo.org/696986 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/rw: new version 0.8.Michael Orlitzky2019-10-073-5/+8
| | | | | | | | | | This new version contains only minor documentation and build system updates, but the project homepage was dead so this is also a good opportunity to point the ebuild at upstream's SourceForge page. Closes: https://bugs.gentoo.org/696676 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/kodkod: Remove last-rited pkgMichał Górny2019-10-074-192/+0
| | | | | Closes: https://bugs.gentoo.org/685802 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>