summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* | | sci-mathematics/spin: version bump (6.4.5); now the license is BSDPawel Hajdan, Jr2016-01-093-0/+69
|/ /
* | sci-mathematics/flint: Bump #557978Patrick Lauer2016-01-052-0/+61
* | sci-mathematics/nestedsums: keyworded 1.4.12-r1 ~amd64Andrey Grozin2016-01-041-2/+2
* | sci-mathematics/ginac: bump to 1.6.6Andrey Grozin2016-01-032-0/+60
* | sci-mathematics/cgal: x86 stable wrt bug #556258Agostino Sarubbo2015-12-251-1/+1
* | sci-mathematics/cgal: amd64 stable wrt bug #556258Agostino Sarubbo2015-12-251-1/+1
* | sci-mathematics/maxima: linguas_de supportAndrey Grozin2015-12-251-1/+1
* | sci-mathematics/maxima: remove 5.37.3-r1Andrey Grozin2015-12-232-212/+0
* | sci-mathematics/maxima: Fix typo in pkg_postrm.Ulrich Müller2015-12-231-1/+1
* | sci-mathematics/maxima: Fix ewarn on arm.Ulrich Müller2015-12-231-0/+1
* | sci-mathematics/maxima: Update Emacs support.Ulrich Müller2015-12-233-23/+81
* | sci-mathematics/maxima: Rename emacs site-init file.Ulrich Müller2015-12-213-5/+2
* | sci-mathematics/maxima: Install imaxima.Ulrich Müller2015-12-212-0/+213
* | sci-mathematics/cado-nfs: BumpPatrick Lauer2015-12-212-0/+46
* | Replace all remaining mirror://berlios with mirror://gentooMichał Górny2015-12-201-3/+6
* | sci-mathematics/fricas: update depend on sbcl to <=1.3.0Andrey Grozin2015-12-191-2/+14
* | sci-mathematics/fricas: cleaning 1.2.6Andrey Grozin2015-12-192-91/+0
|/
* Merge branch 'xfim-master'Justin Lecher2015-11-282-0/+48
|\
| * sci-mathematics/jags: QA: formating and usex() usageJustin Lecher2015-11-281-6/+6
| * sci-mathematics/jags Version bump (solves bug #562644).Xavier Fernández i Marín2015-10-302-0/+48
* | sci-mathematics/maxima: cleaning oldAndrey Grozin2015-11-274-409/+0
* | sci-mathematics/maxima: fixing dependenciesAndrey Grozin2015-11-271-0/+184