summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-103-0/+197
| | | | | | | This broke sci-mathematics/isabelle. Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-04-103-197/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/maxima: amd64 stable wrt bug #677422Mikle Kolyada2019-04-081-1/+1
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64"
* sci-mathematics/maxima: stable 5.42.1 for ppc, bug #677422Sergei Trofimovich2019-04-071-2/+2
| | | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/maxima: remove unused patchMichael Mair-Keimberger2019-04-041-10/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/11548 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/wxmaxima: x86 stable (bug #677420)Thomas Deutschmann2019-04-011-1/+1
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
| | | | | | Closes: Closes: https://github.com/gentoo/gentoo/pull/11528 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
* sci-mathematics/z3: Keyword 4.8.4 ~arm64Michał Górny2019-03-211-1/+1
| | | | | | Tested by NeddySeagoon. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/wxmaxima: stable 18.11.4 for ppc, bug #677420Sergei Trofimovich2019-03-161-1/+1
| | | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/wxmaxima: amd64 stable wrt bug #677420Mikle Kolyada2019-03-161-2/+2
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64"
* sci-mathematics/maxima: clean 5.41Andrey Grozin2019-03-153-423/+0
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: clean 19.02.2_p1Andrey Grozin2019-03-152-58/+0
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-153-86/+2
| | | | | | Closes: https://bugs.gentoo.org/680312 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/genius: add back gtk-update-icon-cache depMart Raudsepp2019-03-121-0/+2
| | | | | | | | | Upstream checks for it in configure.ac and hard errors if not found, despite not actually running it with DESTDIR set.. Closes: https://bugs.gentoo.org/680148 Package-Manager: Portage-2.3.52, Repoman-2.3.12 Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.03.1Andrey Grozin2019-03-132-0/+58
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.42.2Andrey Grozin2019-03-132-0/+213
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/genius: remove oldMart Raudsepp2019-03-122-56/+0
| | | | | Package-Manager: Portage-2.3.52, Repoman-2.3.12 Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* sci-mathematics/genius: bump to 1.0.23Mart Raudsepp2019-03-122-0/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Intentionally not bumping to 1.0.24, as that mainly just bundles vte:0, and we don't need it just hiding as a copy, at least not until we still have to have vte:0 packages anyways. Other changes: * Remove long unnecessary libgnome*, libglade and popt rdeps * Remove gone rarian and gnome-doc-utils build deps * Depend on minimum versions required by configure.ac * Fix LICENSE to GPL3 _or later_ * Depend on virtual/yacc instead of local ORing of providers * gettext shouldn't be optional, and it is required by gtk+ anyway, and it's build time for translations anyway (libintl at runtime) * Remove gtk-update-icon-cache explicit dep - other packages don't add their own dep, but rely on gtk+ pulling it in, as that's what will actually use the cache. Do the same here Unfortunately QA warns about unrecognized --disable-scrollkeeper configure passing, but nothing worth doing about here - upstream has commented that stuff out with "#" comments in configure.ac, instead of "dnl" comments, thus it appears in configure and gnome2.eclass greps finds it and passes the argument. Closes: https://bugs.gentoo.org/605792 Package-Manager: Portage-2.3.52, Repoman-2.3.12 Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-03-103-215/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/rkward: Drop 0.7.0Andreas Sturmlechner2019-03-052-52/+0
| | | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/rkward: 0.7.0b bump for translations; EAPI-7 bumpAndreas Sturmlechner2019-03-052-0/+51
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/z3: Add ~arm keyword wrt bug #677862Mikle Kolyada2019-02-281-1/+1
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="~arm"
* sci-mathematics/genius: use HTTPSMichael Mair-Keimberger2019-02-261-3/+3
| | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.02.2_p1Andrey Grozin2019-02-262-0/+58
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: clean old versionsAndrey Grozin2019-02-264-159/+0
| | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862Sergei Trofimovich2019-02-171-1/+1
| | | | | | Package-Manager: Portage-2.3.60, Repoman-2.3.12 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/reduce: removedAndrey Grozin2019-02-176-118/+0
| | | | | Package-Manager: Portage-2.3.60, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.4Michał Górny2019-02-132-0/+107
| | | | | Closes: https://bugs.gentoo.org/673506 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/fricas: cleaning old versionsAndrey Grozin2019-02-043-212/+0
| | | | | Package-Manager: Portage-2.3.59, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.5Andrey Grozin2019-02-042-0/+109
| | | | | Package-Manager: Portage-2.3.59, Repoman-2.3.12 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/pspp: Remove oldAndreas K. Hüttel2019-01-263-158/+0
| | | | | | Bug: https://bugs.gentoo.org/625724 Package-Manager: Portage-2.3.57, Repoman-2.3.12 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/octave: fix USE=doc sandbox trip due to tex fontsRobin H. Johnson2019-01-252-2/+4
| | | | | Package-Manager: Portage-2.3.56, Repoman-2.3.12 Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/pspp: amd64 stable wrt bug #625724Mikle Kolyada2019-01-171-1/+1
| | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/z3: Enable multilib supportMichał Górny2019-01-091-0/+106
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/msieve: bump to v1.53Thomas Deutschmann2019-01-063-0/+91
| | | | | Package-Manager: Portage-2.3.53, Repoman-2.3.12 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/pspp: x86 stable (bug #625724)Thomas Deutschmann2019-01-021-2/+2
| | | | | Package-Manager: Portage-2.3.53, Repoman-2.3.12 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/pspp: remove trailing whitespaceMarty E. Plummer2018-12-241-1/+1
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/10643 Package-Manager: Portage-2.3.52, Repoman-2.3.12 Signed-off-by: Marty E. Plummer <hanetzer@startmail.com> Signed-off-by: Zac Medico <zmedico@gentoo.org>
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/z3: Run testsMichał Górny2018-12-131-0/+7
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Enable python3Michał Górny2018-12-131-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaulMichał Górny2018-12-132-0/+102
| | | | | Closes: https://bugs.gentoo.org/644508 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Co-maintain (used by clang)Michał Górny2018-12-131-0/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/pspp: Version bumpAlexey Shvetsov2018-12-072-0/+80
| | | | | Signed-off-by: Alexey Shvetsov <alexxy@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/wxmaxima: bump to 18.11.4Andrey Grozin2018-11-262-0/+53
| | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> Package-Manager: Portage-2.3.41, Repoman-2.3.9
* sci-mathematics/rstudio: Bump to 1.1.463Mark Wright2018-11-195-0/+1114
| | | | Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/isabelle: fix scala dependency.Patrice Clement2018-11-011-6/+6
| | | | | Signed-off-by: Patrice Clement <monsieurp@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
* sci-mathematics/wxmaxima: bump to 18.10.2Andrey Grozin2018-10-222-0/+53
| | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> Package-Manager: Portage-2.3.41, Repoman-2.3.9
* sci-mathematics/maxima: bump to 5.42.1Andrey Grozin2018-10-182-1/+1
| | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> Package-Manager: Portage-2.3.41, Repoman-2.3.9
* dev-python/{CommonMark → commonmark}Michał Górny2018-10-181-1/+1
| | | | | | | Rename dev-python/CommonMark following upstream decision to switch to lowercase package name. Signed-off-by: Michał Górny <mgorny@gentoo.org>