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: forward keywords again (forgotten)Mikle Kolyada2019-11-041-1/+1
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-044-95/+3
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.10.0Andrey Grozin2019-11-032-0/+50
| | | | | Package-Manager: Portage-2.3.78, Repoman-2.3.17 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/psmt2-frontend: fix make installTupone Alfredo2019-10-291-0/+3
| | | | | | Closes: https://bugs.gentoo.org/698858 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: add dev-ml/seq dependencyTupone Alfredo2019-10-281-0/+1
| | | | | | Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/psmt2-frontend: rename configure.in to acTupone Alfredo2019-10-281-0/+6
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/gimps: Remove oldPPed722019-10-243-140/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-2.3.76, Repoman-2.3.16 Closes: https://github.com/gentoo/gentoo/pull/13397 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: x86 stable wrt bug #698320Agostino Sarubbo2019-10-231-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/gimps: amd64 stable wrt bug #698320Agostino Sarubbo2019-10-231-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/alt-ergo: stableTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/psmt2-frontend: Stable versionTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/minisat: fix sed in header filesJeffrey Lin2019-10-211-1/+1
| | | | | | | | Bug: https://bugs.gentoo.org/697562 Closes: https://bugs.gentoo.org/694982 Package-Manager: Portage-2.3.53, Repoman-2.3.12 Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/rkward: Fix build with Qt 5.13 (?)Andreas Sturmlechner2019-10-214-0/+81
| | | | | | | Reported-by: Helmut Jarausch <jarausch@igpm.rwth-aachen.de> Closes: https://bugs.gentoo.org/698198 Package-Manager: Portage-2.3.77, Repoman-2.3.17 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/rstudio: depend on qtwebengine[widgets]Alessandro Barbieri2019-10-201-1/+1
| | | | | | | | Closes: https://bugs.gentoo.org/696940 Closes: https://github.com/gentoo/gentoo/pull/13209 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: Declare encoding of imaxima texinfo file.Ulrich Müller2019-10-182-1/+13
| | | | | | Closes: https://bugs.gentoo.org/697494 Package-Manager: Portage-2.3.77, Repoman-2.3.17 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* 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>