summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/isabelle: Remove oldJames Le Cuirot2016-03-0618-2052/+0
* sci-mathematics/cgal: Add subslot dependency on dev-libs/boostDavid Seifert2016-03-051-1/+1
* sci-mathematics/cgal: Version bump to 4.7David Seifert2016-03-054-0/+103
* sci-mathematics/maxima: amd64 stable wrt bug #573544Mikle Kolyada2016-03-051-1/+1
* sci-mathematics/cgal: Add missing dev-qt/qtsvg:4 dep when USE="qt4"David Seifert2016-03-051-1/+2
* sci-mathematics/4ti2: add ~arm, bug #573944Markus Meier2016-03-021-1/+1
* sci-mathematics/flint: add ~arm, bug #573944Markus Meier2016-03-021-1/+1
* sci-mathematics/gfan: add ~arm, bug #573324Markus Meier2016-03-021-1/+1
* sci-mathematics/normaliz: add ~arm, bug #573324Markus Meier2016-03-021-1/+1
* sci-mathematics/frobby: add ~arm, bug #573324Markus Meier2016-03-021-1/+1
* sci-mathematics/nauty: add ~arm, bug #573324Markus Meier2016-03-021-1/+1
* sci-mathematics/jags: version bump to 4.2.0Xavier Fernández i Marín2016-03-022-0/+47
* sci-mathematics/fricas: cleaning 1.2.7-r2Andrey Grozin2016-02-261-92/+0
* sci-mathematics/fricas: sbcl version must be <=1.3.0Andrey Grozin2016-02-261-0/+102
* sci-mathematics/fricas: cleaning 1.2.7-r1Andrey Grozin2016-02-241-102/+0
* sci-mathematics/fricas: no longer need to restrict sbcl versionAndrey Grozin2016-02-241-2/+2
* sci-mathematics/fricas: no longer need to restrict sbcl versionAndrey Grozin2016-02-241-0/+92
* sci-mathematics/normaliz: Bump to 3.1.0Thomas Kahle2016-02-202-0/+64
* sci-mathematics/rstudio: Bump to 0.99.879Mark Wright2016-02-205-0/+503
* sci-mathematics/dataplot: Version BumpJustin Lecher2016-02-186-3/+212
* sci-mathematics/dataplot: REQUIRE USE=X for USE=openglJustin Lecher2016-02-171-1/+3
* sci-mathematics/csdp: Use existing package sci-libs/coinor-csdpMark Wright2016-02-173-73/+0
* sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-...Mark Wright2016-02-161-1/+1
* sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.Mark Wright2016-02-164-0/+349
* sci-mathematics/csdp: Add CSDP, A C Library for Semidefinite ProgrammingMark Wright2016-02-163-0/+73
* sci-mathematics/twelf: Fix doc generationVikraman Choudhury2016-02-111-0/+1
* sci-mathematics/twelf: Fix typoVikraman Choudhury2016-02-111-2/+2
* sci-mathematics/agda: fix hastables build failure, bu #574204Sergei Trofimovich2016-02-082-0/+144
* sci-mathematics/fann: WhitespacePatrick Lauer2016-02-081-1/+1
* sci-mathematics/Macaulay2: bump to 1.8.2.1Thomas Kahle2016-02-073-0/+187
* sci-mathematics/rstudio: Bump to 0.99.491Mark Wright2016-01-292-0/+250
* sci-mathematics/rstudio: Thanks to tomboy-64 for fixing bug Bug 534152 - sci-...Mark Wright2016-01-294-8/+48
|\
| * sci-mathematics/rstudio: cosmetic changes to PATCHES array in 0.99.486-r1Matthew Brewer2016-01-291-8/+12
| * sci-mathematics/rstudio: use the same group in rstudio-server.conf as in the ...Matthew Brewer2016-01-291-1/+1
| * sci-mathematics/rstudio: install systemd service unit for rstudio-server into...Matthew Brewer2016-01-293-1/+38
* | Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-2485-122/+122
* | Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-2471-78/+299
* | Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-2418-41/+40
* | sci-mathematics/coq: bump to 8.5Alexis Ballier2016-01-233-0/+116
* | sci-mathematics/glpk: drop prefix keywords which don't have the new deps, bug...Fabian Groffen2016-01-233-3/+3
* | sci-mathematics/rstudio: Use egit_clean to clean workdirJustin Lecher2016-01-2213-63/+100
* | sci-mathematics/jags: Remove 'autotools-utils.eclass', EAPI=6David Seifert2016-01-211-9/+8
* | sci-mathematics/jags: version bumpXavier Fernández i Marín2016-01-212-0/+48
* | sci-mathematics/glpk: Version bump to 4.57David Seifert2016-01-143-0/+151
* | sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-134-0/+185
* | sci-mathematics/agda: fix dev-haskell/cpphs dependencyJauhien Piatlicki2016-01-131-0/+119
* | Merge branch 'zasdfgbnm-master'Justin Lecher2016-01-131-0/+29
|\ \
| * | sci-mathematics/fann-9999Xiang Gao2016-01-121-0/+29
* | | sci-mathematics/prng: Revbump, modernize to EAPI=6, fix #570100David Seifert2016-01-132-5/+42
* | | Drop myself as maintainerJustin Lecher2016-01-092-6/+0