summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-014-7/+24
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-2811-50/+119
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-276-33/+101
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-223-21/+24
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-223-22/+15
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-156-13/+74
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-313-23/+24
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-306-104/+13
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-294-21/+37
* Bump to 2.12.2, cleanupThomas Kahle2015-01-295-110/+18
* Drop old patchesMark Wright2015-01-297-128/+18
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-296-377/+7
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-256-19/+629
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-074-26/+20
* Use python-any-r1 for waf.Michał Górny2015-01-033-11/+33
* Rename virtual/postgresql to dev-db/postgresqlAaron Swenson2014-12-284-11/+15
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-264-20/+84
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-253-19/+30
* Adding a missing patch (#533202)Andrey Grozin2014-12-223-16/+48
* Version bumpAndrey Grozin2014-12-207-28/+328
* Bump agda-stdlib to 0.9Mark Wright2014-12-143-6/+80
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-144-7/+143
* drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316Matthias Maier2014-12-064-23/+73
* Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ...Mark Wright2014-12-0615-171/+391
* sci-mathematics/singular: Drop oldJustin Lecher2014-12-058-926/+33
* Stable for x86, wrt bug #529536Agostino Sarubbo2014-12-053-18/+21
* Stable for ppc64, wrt bug #528002Agostino Sarubbo2014-12-043-18/+21
* Stable for ppc, wrt bug #529536Agostino Sarubbo2014-12-033-18/+21
* version bumpMatthias Maier2014-12-013-19/+109
* Set the maintainer.Mark Wright2014-11-293-20/+12
* update deps for ocaml 4.02Alexis Ballier2014-11-283-7/+11
* Stable for amd64, wrt bug #529536Agostino Sarubbo2014-11-263-9/+22
* drop maintainershipJulian Ospald2014-11-253-21/+22
* drop maintainershipJulian Ospald2014-11-253-15/+25
* Stable for x86, wrt bug #528002Agostino Sarubbo2014-11-253-18/+21
* Version bumpAndrey Grozin2014-11-243-21/+27
* Clarify AT_NO_RECURSIVE usage.Mike Frysinger2014-11-213-7/+21
* Fix bug 518000 (thanks Alexander Tsoy), remove old.Thomas Kahle2014-11-144-49/+12
* Stable for ppc, wrt bug #528002Agostino Sarubbo2014-11-103-8/+21
* Remove unneeded useflag descriptions from metadata.xmlPatrick Lauer2014-11-073-29/+7
* Drop old EAPI=1 versionAndreas Hüttel2014-11-063-120/+22
* Stable for HPPA (bug #528002).Jeroen Roovers2014-11-063-18/+11
* Update PostgreSQL dependencies and/or checks to virtual/postgresql.Aaron Swenson2014-11-034-13/+17
* Stable for amd64, wrt bug #528002Agostino Sarubbo2014-11-033-20/+21
* Bump coq to 8.4pl5Mark Wright2014-11-033-17/+110
* sci-mathematics/dataplot: Drop bashisms from configure.ac, #526888Justin Lecher2014-10-265-31/+41
* bump to 2.12.1Thomas Kahle2014-10-254-5/+124
* Version bump, no einstall (#521650), docompress (#176411)Andrey Grozin2014-09-143-16/+213
* BumpPatrick Lauer2014-09-103-2/+50
* Require llvm < 3.5 because of API incompatibility.Michał Górny2014-09-095-14/+30