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/wxmaxima: cleaning old versionsAndrey Grozin2019-12-267-312/+0
| | | | | Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.12.2Andrey Grozin2019-12-243-0/+62
| | | | | Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
| | | | | Package-Manager: Portage-2.3.83, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
| | | | | | | Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/703418 Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/singular: Remove call to deprecated elisp-need-emacs.Ulrich Müller2019-12-212-10/+0
| | | | | | | | Emacs 23 is the minimum version supported by the eclass. So, there is no need to check for >=22 and the call can simply be dropped. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/singular: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/pspp: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/maxima: Update virtual/emacs dependency.Ulrich Müller2019-12-204-5/+5
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/Macaulay2: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/gretl: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/geomview: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/fricas: Update virtual/emacs dependency.Ulrich Müller2019-12-202-3/+3
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/rstudio: Fix building with boost 1.72David Seifert2019-12-203-15/+47
| | | | | | Closes: https://bugs.gentoo.org/703124 Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: Provide missing texinfo file.Ulrich Müller2019-12-202-1/+4
| | | | | | | | | doc/info/de/include-maxima.de.texi is missing from the tarball, which caused the build to fail for L10N=de. Bug: https://bugs.gentoo.org/687244 Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/pari-data: new version to force mirror of new tarballs.Michael Orlitzky2019-12-163-30/+33
| | | | | | | | | | | | | | There are new versions of these databases, but upstream modifies the (unversioned) tarballs for them in-place when that happens. We tag the distfiles with the package version, however, so this new version should force new copies of everything to be mirrored. In addition, I've used https in HOMEPAGE and SRC_URI, and have updated the ebuild from EAPI=4 to EAPI=7. Closes: https://bugs.gentoo.org/703146 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13960 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/pymc: [QA] Fix MissingTestRestrictMichał Górny2019-12-121-0/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/flint: [QA] Fix MissingTestRestrictMichał Górny2019-12-123-6/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-115-14/+12
| | | | | | | | | | | | * Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-118-1/+9
| | | | | | | | | | | | | | | | | | The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/singular: Remove oldDavid Seifert2019-12-0810-433/+0
| | | | | | | | * Required for pruning py2.7 from the tree Closes: https://github.com/gentoo/gentoo/pull/13912 Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/unuran: Port to EAPI 7David Seifert2019-12-081-21/+24
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rngstreams: Port to EAPI 7David Seifert2019-12-081-10/+22
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: [QA] Fix AbsoluteSymlinkDavid Seifert2019-12-072-2/+2
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: Remove oldDavid Seifert2019-12-074-753/+0
| | | | | | | * <dev-libs/boost-1.70 is gone from the tree Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.12.1Andrey Grozin2019-12-072-0/+50
| | | | | Package-Manager: Portage-2.3.81, Repoman-2.3.20 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/gmm: version bump 5.3Amy Liffey2019-12-072-0/+23
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Amy Liffey <amynka@gentoo.org>
* sci-mathematics/gmm: update HOMEPAGE, SRC_URIWim Muskee2019-12-071-3/+3
| | | | | | | Closes: https://bugs.gentoo.org/699764 Closes: https://github.com/gentoo/gentoo/pull/13902 Signed-off-by: Wim Muskee <wimmuskee@gmail.com> Signed-off-by: Amy Liffey <amynka@gentoo.org>
* sci-mathematics/pymc3: Remove py2Michał Górny2019-12-041-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>