summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: profiling is not more supported by newer ocamlTupone Alfredo2020-01-171-2/+1
* sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtkTupone Alfredo2020-01-161-1/+1
* sci-mathematics/fricas: fix HOMEPAGEAndrey Grozin2020-01-152-4/+4
* sci-mathematics/why3-for-spark: Needs a newer coq versionTupone Alfredo2020-01-151-1/+1
* sci-mathematics/why3-for-spark: use ocaml-4.09Tupone Alfredo2020-01-141-0/+78
* sci-mathematics/prng: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
* sci-mathematics/mathomatic: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
* sci-mathematics/lrcalc: [QA] Fix HomepageInSrcUriDavid Seifert2020-01-131-1/+1
* sci-mathematics/rkward: Port to ecm.eclass and kde.org.eclassAndreas Sturmlechner2020-01-121-26/+29
* sci-mathematics/pymc: remove last-rited pkgMikle Kolyada2020-01-124-82/+0
* sci-mathematics/lybniz: remove last-rited pkgMikle Kolyada2020-01-123-43/+0
* sci-mathematics/mlpy: remove last-rited pkgMikle Kolyada2020-01-123-52/+0
* sci-mathematics/nusmv: remove last-rited pkgMikle Kolyada2020-01-123-100/+0
* sci-mathematics/p9m4: remove last-rited pkgMikle Kolyada2020-01-126-264/+0
* sci-mathematics/Macaulay2: remove last-rited pkgMikle Kolyada2020-01-126-286/+0
* sci-mathematics/snns: remove last-rited pkgMikle Kolyada2020-01-129-525/+0
* sci-mathematics/factmsieve: remove last-rited pkgMikle Kolyada2020-01-124-92/+0
* sci-mathematics/xmds: remove last-rited pkgMikle Kolyada2020-01-123-61/+0
* sci-mathematics/yacas: Remove local USE="gui"David Seifert2020-01-121-1/+0
* sci-mathematics/octave: Remove local USE="gui"David Seifert2020-01-121-1/+0
* sci-mathematics/rstudio: Bump to 1.2.5033, use acct rstudio-serverMark Wright2020-01-105-0/+469
* 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