summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: revbump for newer ocaml + numJason A. Donenfeld2020-01-071-0/+86
* sci-mathematics/prover9: eapi=7, add src_testMark Wright2020-01-071-6/+13
* sci-mathematics: Switch to cmake.eclassAndreas Sturmlechner2020-01-052-7/+7
* sci-mathematics/wxmaxima: bump to 20.01.1Andrey Grozin2020-01-052-0/+50
* */*: Clean PYTHON_COMPAT of obsolete implsMichał Górny2020-01-055-10/+10
* sci-mathematics/lrcalc: new package for Littlewood-Richardson coeffs.Michael Orlitzky2020-01-024-0/+140
* sci-mathematics/eclib: new package for rational elliptic curves.Michael Orlitzky2019-12-303-0/+77
* sci-mathematics/gp2c: update pari version requirement in new revision.Michael Orlitzky2019-12-291-1/+3
* sci-mathematics/gp2c: new package to compile GP routines to C.Michael Orlitzky2019-12-283-0/+53
* sci-mathematics/pari: new version 2.11.2.Michael Orlitzky2019-12-286-0/+240
* sci-mathematics/wxmaxima: cleaning old versionsAndrey Grozin2019-12-267-312/+0
* sci-mathematics/wxmaxima: bump to 19.12.2Andrey Grozin2019-12-243-0/+62
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
* sci-mathematics/singular: Remove call to deprecated elisp-need-emacs.Ulrich Müller2019-12-212-10/+0
* sci-mathematics/why3-for-spark: Update virtual/emacs dependency.Ulrich Müller2019-12-202-2/+2
* sci-mathematics/twelf: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/singular: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/pspp: Update virtual/emacs dependency.Ulrich Müller2019-12-201-1/+1
* sci-mathematics/maxima: Update virtual/emacs dependency.Ulrich Müller2019-12-204-5/+5
* sci-mathematics/Macaulay2: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
* sci-mathematics/gretl: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/geomview: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
* sci-mathematics/fricas: Update virtual/emacs dependency.Ulrich Müller2019-12-202-3/+3
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* sci-mathematics/rstudio: Fix building with boost 1.72David Seifert2019-12-203-15/+47
* sci-mathematics/maxima: Provide missing texinfo file.Ulrich Müller2019-12-202-1/+4
* sci-mathematics/pari-data: new version to force mirror of new tarballs.Michael Orlitzky2019-12-163-30/+33
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
* sci-mathematics/z3: remove unused patch(es)Michael Mair-Keimberger2019-12-121-18/+0
* sci-mathematics/pymc: [QA] Fix MissingTestRestrictMichał Górny2019-12-121-0/+1
* sci-mathematics/flint: [QA] Fix MissingTestRestrictMichał Górny2019-12-123-6/+6
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-115-14/+12
* */*: [QA] Fix trivial cases of MissingTestRestrictMichał Górny2019-12-118-1/+9
* sci-mathematics/z3: Tested on python3.8Michał Górny2019-12-081-1/+1
* sci-mathematics/z3: Remove oldDavid Seifert2019-12-084-473/+0
* sci-mathematics/singular: Remove oldDavid Seifert2019-12-0810-433/+0
* sci-mathematics/unuran: Port to EAPI 7David Seifert2019-12-081-21/+24
* sci-mathematics/rngstreams: Port to EAPI 7David Seifert2019-12-081-10/+22
* sci-mathematics/rstudio: [QA] Fix AbsoluteSymlinkDavid Seifert2019-12-072-2/+2
* sci-mathematics/rstudio: Remove oldDavid Seifert2019-12-074-753/+0
* sci-mathematics/wxmaxima: bump to 19.12.1Andrey Grozin2019-12-072-0/+50
* sci-mathematics/gmm: version bump 5.3Amy Liffey2019-12-072-0/+23
* sci-mathematics/gmm: update HOMEPAGE, SRC_URIWim Muskee2019-12-071-3/+3
* sci-mathematics/pymc3: Remove py2Michał Górny2019-12-041-1/+1
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
* sci-mathematics/z3: arm64 stable (bug #700296)Aaron Bauman2019-11-231-1/+1
* sci-mathematics/z3: arm stable wrt bug #700296Mikle Kolyada2019-11-221-1/+1
* sci-mathematics/fann: EAPI-7 bumpAndreas Sturmlechner2019-11-202-6/+5
* sci-mathematics/z3: ppc64 stable wrt bug #700296Agostino Sarubbo2019-11-201-1/+1