summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-153-86/+2
* sci-mathematics/genius: add back gtk-update-icon-cache depMart Raudsepp2019-03-121-0/+2
* sci-mathematics/wxmaxima: bump to 19.03.1Andrey Grozin2019-03-132-0/+58
* sci-mathematics/maxima: bump to 5.42.2Andrey Grozin2019-03-132-0/+213
* sci-mathematics/genius: remove oldMart Raudsepp2019-03-122-56/+0
* sci-mathematics/genius: bump to 1.0.23Mart Raudsepp2019-03-122-0/+49
* sci-mathematics/z3: Drop oldMichał Górny2019-03-103-215/+0
* sci-mathematics/rkward: Drop 0.7.0Andreas Sturmlechner2019-03-052-52/+0
* sci-mathematics/rkward: 0.7.0b bump for translations; EAPI-7 bumpAndreas Sturmlechner2019-03-052-0/+51
* sci-mathematics/z3: Add ~arm keyword wrt bug #677862Mikle Kolyada2019-02-281-1/+1
* sci-mathematics/genius: use HTTPSMichael Mair-Keimberger2019-02-261-3/+3
* sci-mathematics/wxmaxima: bump to 19.02.2_p1Andrey Grozin2019-02-262-0/+58
* sci-mathematics/wxmaxima: clean old versionsAndrey Grozin2019-02-264-159/+0
* sci-mathematics/z3: keyworded 4.8.4 for ppc64, bug #677862Sergei Trofimovich2019-02-171-1/+1
* sci-mathematics/reduce: removedAndrey Grozin2019-02-176-118/+0
* sci-mathematics/z3: Bump to 4.8.4Michał Górny2019-02-132-0/+107
* sci-mathematics/fricas: cleaning old versionsAndrey Grozin2019-02-043-212/+0
* sci-mathematics/fricas: bump to 1.3.5Andrey Grozin2019-02-042-0/+109
* sci-mathematics/pspp: Remove oldAndreas K. Hüttel2019-01-263-158/+0
* sci-mathematics/octave: fix USE=doc sandbox trip due to tex fontsRobin H. Johnson2019-01-252-2/+4
* sci-mathematics/pspp: amd64 stable wrt bug #625724Mikle Kolyada2019-01-171-1/+1
* sci-mathematics/z3: Enable multilib supportMichał Górny2019-01-091-0/+106
* sci-mathematics/msieve: bump to v1.53Thomas Deutschmann2019-01-063-0/+91
* sci-mathematics/pspp: x86 stable (bug #625724)Thomas Deutschmann2019-01-021-2/+2
* sci-mathematics/pspp: remove trailing whitespaceMarty E. Plummer2018-12-241-1/+1
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
* sci-mathematics/z3: Run testsMichał Górny2018-12-131-0/+7