summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/octave: Add missing DEPEND on dev-texlive/texlive-fontsrecomm...David Seifert2017-02-021-4/+9
* sci-mathematics/unuran: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-48/+0
* sci-mathematics/sha1-polyml: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-60/+0
* sci-mathematics/nusmv: remove unused patchesMichael Mair-Keimberger (asterix)2017-02-013-147/+0
* sci-mathematics/normaliz: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-70/+0
* sci-mathematics/isabelle: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-13/+0
* sci-mathematics/glpk: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-87/+0
* sci-mathematics/freemat: remove unused patchesMichael Mair-Keimberger (asterix)2017-02-016-352/+0
* sci-mathematics/calc: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-96/+0
* sci-mathematics/genius: remove unused patchesMichael Mair-Keimberger (asterix)2017-01-292-101/+0
* sci-mathematics/z3: Fix examples install directory.Mark Wright2017-01-282-2/+2
* sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.Mark Wright2017-01-282-13/+75
* sci-mathematics/isabelle: Remove oldMark Wright2017-01-288-468/+0
* sci-mathematics/wxmaxima: bump to 16.12.2Andrey Grozin2017-01-262-1/+1
* sci-mathematics/wxmaxima: bump to 16.12.1Andrey Grozin2017-01-252-0/+77
* sci-mathematics/yacas: dependencies correctedAndrey Grozin2017-01-251-17/+13
* sci-mathematics/yacas: keyworded 1.6.1 ~x86Andrey Grozin2017-01-251-1/+1
* sci-mathematics/yacas: bump to 1.6.1Andrey Grozin2017-01-253-0/+57
* sci-mathematics/coq: adjust deps for TeX Live 2016.Alexis Ballier2017-01-233-6/+6
* sci-mathematics/coq: remove oldAlexis Ballier2017-01-234-208/+0
* sci-mathematics/fricas: cleaning oldAndrey Grozin2017-01-223-205/+0
* sci-mathematics/fricas: sbcl must be <1.3.13Andrey Grozin2017-01-221-0/+102
* fix quoting to a lot of patch callsMike Frysinger2017-01-202-3/+3
* sci-mathematics/fann: Drop oldPacho Ramos2017-01-1511-423/+0
* sci-mathematics/maxima: Remove old.Ulrich Müller2017-01-1310-365/+0
* sci-mathematics/octave: RDEPEND on dev-qt/qtopengl:5David Seifert2017-01-101-0/+1
* sci-mathematics/gimps: add a missing "die" statement.Michael Orlitzky2017-01-091-2/+2
* sci-mathematics/gimps: remove trailing whitespace in README.gentoo.Michael Orlitzky2017-01-091-1/+1
* sci-mathematics/gimps: improve documentation for first time users.PPed722017-01-092-11/+29
* sci-mathematics/gimps: add Paolo Pedroni as proxy maintainer.Michael Orlitzky2017-01-091-1/+9
* sci-mathematics/pymc3: initial importSébastien Fabbro2017-01-073-0/+79
* sci-mathematics/octave: Add missing DEPEND on dev-qt/linguist-tools:5David Seifert2017-01-061-2/+2
* sci-mathematics/rstudio: Bump to 1.0.136Mark Wright2017-01-032-0/+249
* sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.Mark Wright2017-01-032-6/+9
* sci-mathematics/e: Update to EAPI="6"Mark Wright2017-01-031-0/+119
* sci-mathematics/spass: Bump to 3.9Mark Wright2017-01-033-1/+149
* sci-mathematics/sha1-polyml: Bump to 5.6-1. FixMark Wright2017-01-033-0/+123
* sci-mathematics/kodkodi: Update to EAPI="6"Mark Wright2017-01-031-0/+108
* sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks toMark Wright2017-01-031-0/+141
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-0311-0/+606
* sci-mathematics/xmds: Drop oldJustin Lecher2017-01-024-220/+0
* sci-mathematics/snns: Drop oldJustin Lecher2017-01-024-278/+0
* sci-mathematics/pspp: Drop oldJustin Lecher2017-01-026-250/+0
* sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rsterMark Wright2017-01-031-5/+3
* sci-mathematics/pspp: x86 stable wrt bug #584062Agostino Sarubbo2017-01-021-2/+2
* sci-mathematics/snns: x86 stable wrt bug #593178Agostino Sarubbo2017-01-021-1/+1
* sci-mathematics/jags: x86 stable wrt bug #582930Agostino Sarubbo2017-01-021-2/+2
* sci-mathematics/xmds: x86 stable wrt bug #595218Agostino Sarubbo2017-01-021-2/+2
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-026-0/+416
* sci-mathematics/snns: ppc stable wrt bug #593178Agostino Sarubbo2017-01-011-2/+2