summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-272-0/+43
* sci-mathematics/psmt2-frontend: add psmt2-frontendTupone Alfredo2019-07-264-0/+60
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
* sci-mathematics/yacas: Drop broken 1.7.0 (r0)Andreas Sturmlechner2019-07-241-53/+0
* sci-mathematics/yacas: Fix desktop file icon pathAndreas Sturmlechner2019-07-242-1/+28
* sci-mathematics/yacas: Disable cmake external downloads, use bundledAndreas Sturmlechner2019-07-243-0/+170
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
* sci-mathematics/kodkod: Remove mistaken use of PYTHON_REQUIRED_USEMichał Górny2019-07-221-2/+1
* sci-mathematics/genius: Fixed build with sys-libs/ncurses[tinfo]Lars Wendler2019-07-183-3/+67
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
* sci-mathematics/yacas: Drop 1.6.1-r1Andreas Sturmlechner2019-07-173-57/+0
* sci-mathematics/yacas: 1.7.0 version bumpAndreas Sturmlechner2019-07-173-0/+273
* sci-mathematics/sha1-polyml: Sort KEYWORDSMichał Górny2019-07-152-4/+4
* sci-mathematics/rw: Sort KEYWORDSMichał Górny2019-07-151-2/+2
* sci-mathematics/octave-epstk: Sort KEYWORDSMichał Górny2019-07-151-2/+2
* sci-mathematics/arb: Sort KEYWORDSMichał Górny2019-07-152-3/+3
* sci-mathematics/cvc4: Bump to 1.7Tupone Alfredo2019-07-143-0/+90
* sci-mathematics/msieve: Remove gwnum USE depDavid Seifert2019-06-303-8/+5
* sci-mathematics/octave: imagemagick-7 is neededPacho Ramos2019-06-241-1/+1
* sci-mathematics/gmp-ecm: Remove dep on sci-mathematics/gwnumDavid Seifert2019-06-234-22/+6
* sci-mathematics/gfan: Fix building against GCC 9David Seifert2019-06-222-0/+69
* sci-mathematics/gfan: Port to EAPI 7David Seifert2019-06-222-17/+70
* sci-mathematics/rstudio: Add upper bound on boost-1.70David Seifert2019-06-123-3/+3
* sci-mathematics/rstudio: [QA] Add slot-dep operator for openssl/libresslDavid Seifert2019-06-123-8/+8
* sci-mathematics/z3: Drop oldMichał Górny2019-06-082-107/+0
* sci-mathematics/cgal: Drop oldAndreas Sturmlechner2019-06-055-279/+0
* sci-mathematics/cgal: amd64 stable wrt bug #685396Agostino Sarubbo2019-06-051-1/+1
* sci-mathematics/cgal: x86 stable (bug #685396)Thomas Deutschmann2019-06-041-2/+2
* sci-mathematics/arb: bump to 2.16.0Andrey Grozin2019-06-022-0/+57
* sci-mathematics/wxmaxima: bump to 19.05.7Andrey Grozin2019-06-012-0/+58
* sci-mathematics/maxima: bump to 5.43.0Andrey Grozin2019-06-013-0/+241
* sci-mathematics/z3: Bump to 4.8.5Michał Górny2019-06-012-0/+107
* sci-mathematics/p9m4: use HTTPSMichael Mair-Keimberger2019-05-021-2/+2
* sci-mathematics/prover9: use HTTPSMichael Mair-Keimberger2019-05-021-3/+3
* sci-mathematics/maxima: x86 stable (bug #677422)Thomas Deutschmann2019-04-291-1/+1
* sci-mathematics/p9m4: [QA] Call distutils-r1_python_install_allDavid Seifert2019-04-211-50/+34
* */*: Remove python3_4 PYTHON_COMPAT correctlyMichał Górny2019-04-175-9/+9
* sci-mathematics/z3: Revert "Drop old"Michał Górny2019-04-103-0/+197
* sci-mathematics/z3: Drop oldMichał Górny2019-04-103-197/+0
* sci-mathematics/maxima: amd64 stable wrt bug #677422Mikle Kolyada2019-04-081-1/+1
* sci-mathematics/maxima: stable 5.42.1 for ppc, bug #677422Sergei Trofimovich2019-04-071-2/+2
* sci-mathematics/maxima: remove unused patchMichael Mair-Keimberger2019-04-041-10/+0
* sci-mathematics/wxmaxima: x86 stable (bug #677420)Thomas Deutschmann2019-04-011-1/+1
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
* sci-mathematics/z3: Keyword 4.8.4 ~arm64Michał Górny2019-03-211-1/+1
* sci-mathematics/wxmaxima: stable 18.11.4 for ppc, bug #677420Sergei Trofimovich2019-03-161-1/+1
* sci-mathematics/wxmaxima: amd64 stable wrt bug #677420Mikle Kolyada2019-03-161-2/+2
* sci-mathematics/maxima: clean 5.41Andrey Grozin2019-03-153-423/+0
* sci-mathematics/wxmaxima: clean 19.02.2_p1Andrey Grozin2019-03-152-58/+0