summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* sci-mathematics/yacas: Disable cmake external downloads, use bundledAndreas Sturmlechner2019-07-243-0/+170
| | | | | | Closes: https://bugs.gentoo.org/690534 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12520 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USEMichał Górny2019-07-221-2/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo]Lars Wendler2019-07-183-3/+67
| | | | | | Closes: https://bugs.gentoo.org/675670 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Lars Wendler <polynomial-c@gentoo.org>
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
| | | | | | Closes: https://bugs.gentoo.org/689918 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/yacas: Drop 1.6.1-r1Andreas Sturmlechner2019-07-173-57/+0
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/yacas: 1.7.0 version bumpAndreas Sturmlechner2019-07-173-0/+273
| | | | | | | | | Drop USE doc, needs unpackaged sphinxcontrib-bibtex. Drop USE java, nothing is installed, no-op in 1.6.1 already. Closes: https://bugs.gentoo.org/687844 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/sha1-polyml: Sort KEYWORDSMichał Górny2019-07-152-4/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/rw: Sort KEYWORDSMichał Górny2019-07-151-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/octave-epstk: Sort KEYWORDSMichał Górny2019-07-151-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/arb: Sort KEYWORDSMichał Górny2019-07-152-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cvc4: Bump to 1.7Tupone Alfredo2019-07-143-0/+90
| | | | | | Closes: https://bugs.gentoo.org/688652 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/msieve: Remove gwnum USE depDavid Seifert2019-06-303-8/+5
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.16 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/octave: imagemagick-7 is neededPacho Ramos2019-06-241-1/+1
| | | | | | Closes: https://bugs.gentoo.org/660298 Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: Pacho Ramos <pacho@gentoo.org>
* sci-mathematics/gmp-ecm: Remove dep on sci-mathematics/gwnumDavid Seifert2019-06-234-22/+6
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12313 Package-Manager: Portage-2.3.67, Repoman-2.3.15 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gfan: Fix building against GCC 9David Seifert2019-06-222-0/+69
| | | | | | Closes: https://bugs.gentoo.org/686484 Package-Manager: Portage-2.3.67, Repoman-2.3.15 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gfan: Port to EAPI 7David Seifert2019-06-222-17/+70
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.15 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: Add upper bound on boost-1.70David Seifert2019-06-123-3/+3
| | | | | | Bug: https://bugs.gentoo.org/686186 Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: [QA] Add slot-dep operator for openssl/libresslDavid Seifert2019-06-123-8/+8
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/z3: Drop oldMichał Górny2019-06-082-107/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cgal: Drop oldAndreas Sturmlechner2019-06-055-279/+0
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/cgal: amd64 stable wrt bug #685396Agostino Sarubbo2019-06-051-1/+1
| | | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64"
* sci-mathematics/cgal: x86 stable (bug #685396)Thomas Deutschmann2019-06-041-2/+2
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/arb: bump to 2.16.0Andrey Grozin2019-06-022-0/+57
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.13 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 19.05.7Andrey Grozin2019-06-012-0/+58
| | | | | Package-Manager: Portage-2.3.67, Repoman-2.3.13 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.43.0Andrey Grozin2019-06-013-0/+241
| | | | | | Closes: https://bugs.gentoo.org/show_bug.cgi?id=684670 Package-Manager: Portage-2.3.67, Repoman-2.3.13 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.5Michał Górny2019-06-012-0/+107
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/p9m4: use HTTPSMichael Mair-Keimberger2019-05-021-2/+2
| | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/prover9: use HTTPSMichael Mair-Keimberger2019-05-021-3/+3
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/11860 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/maxima: x86 stable (bug #677422)Thomas Deutschmann2019-04-291-1/+1
| | | | | Package-Manager: Portage-2.3.64, Repoman-2.3.12 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/p9m4: [QA] Call distutils-r1_python_install_allDavid Seifert2019-04-211-50/+34
| | | | | | | | * EAPI 7 Closes: https://bugs.gentoo.org/683180 Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: David Seifert <soap@gentoo.org>
* */*: Remove python3_4 PYTHON_COMPAT correctlyMichał Górny2019-04-175-9/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>