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: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13706 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
| | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.79, Repoman-2.3.18
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="arm" Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/fann: EAPI-7 bumpAndreas Sturmlechner2019-11-202-6/+5
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #700296Agostino Sarubbo2019-11-191-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/z3: amd64 stable wrt bug #700296Agostino Sarubbo2019-11-181-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/wxmaxima: bump to 19.11.0Andrey Grozin2019-11-152-0/+50
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/petsc: more configuration fixesMatthias Maier2019-11-141-6/+6
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: do not run mpiexec during configureMatthias Maier2019-11-142-0/+33
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: fix configuration with USE=hypreMatthias Maier2019-11-142-2/+93
| | | | | | | | Someone smarter than me has to figure out how to properly fix this python build system... Package-Manager: Portage-2.3.79, Repoman-2.3.18 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/slepc: version bump to 3.12.1Matthias Maier2019-11-142-0/+76
| | | | | Package-Manager: Portage-2.3.78, Repoman-2.3.17 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* sci-mathematics/petsc: version bump to 3.12.1Matthias Maier2019-11-143-1/+195
| | | | | Package-Manager: Portage-2.3.78, Repoman-2.3.17 Signed-off-by: Matthias Maier <tamiko@gentoo.org>
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-102-4/+4
| | | | | | | | | | | | | | | | | This change inlines mirror://hackage in all ebuilds, and updates URIs to the modern form (old URIs redirect to that). The change has been made using the following command: find -name '*.ebuild' -exec sed -r -i \ -e 's@mirror://hackage/@https://hackage.haskell.org/@g' \ -e 's@https://hackage.haskell.org/packages/archive/([^/]*)/([^/]*)/@https://hackage.haskell.org/package/\1-\2/@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{PV}@${P}@g' \ -e '/hackage\.haskell\.org/s@\$\{MY_PN}-\$\{PV}@${MY_P}@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{MY_PV}@${MY_P}@g' \ {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>