summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix gcc-4.9 compatibility (bug 541238)Thomas Kahle2015-03-031-6/+7
* Fix gcc-4.9 compatibility (bug 541238)Thomas Kahle2015-03-033-4/+77
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-011-5/+6
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-013-2/+18
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-281-12/+13
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-2810-38/+106
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-271-21/+23
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-275-12/+78
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-221-16/+16
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-222-5/+8
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-221-17/+7
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-222-5/+8
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-151-5/+8
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-155-8/+66
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-311-18/+16
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-312-5/+8
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-301-13/+1
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-302-45/+5
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-301-12/+1
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-302-34/+6
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-291-7/+19
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-293-14/+18
* Bump to 2.12.2, cleanupThomas Kahle2015-01-291-9/+6
* Bump to 2.12.2, cleanupThomas Kahle2015-01-294-101/+12
* Drop old patchesMark Wright2015-01-291-6/+11
* Drop old patchesMark Wright2015-01-296-122/+7
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-291-16/+1
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-295-361/+6
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-251-10/+13
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-255-9/+616
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-071-16/+6
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-073-10/+14
* Use python-any-r1 for waf.Michał Górny2015-01-031-6/+18
* Use python-any-r1 for waf.Michał Górny2015-01-032-5/+15
* Rename virtual/postgresql to dev-db/postgresqlAaron W. Swenson2014-12-281-6/+6
* Rename virtual/postgresql to dev-db/postgresqlAaron W. Swenson2014-12-283-5/+9
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-261-17/+19
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-263-3/+65
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-251-16/+16
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-252-3/+14
* Adding a missing patch (#533202)Andrey Grozin2014-12-221-15/+16
* Adding a missing patch (#533202)Andrey Grozin2014-12-222-1/+32
* Version bumpAndrey Grozin2014-12-201-11/+3
* Version bumpAndrey Grozin2014-12-202-1/+82
* Version bumpAndrey Grozin2014-12-201-15/+18
* Version bumpAndrey Grozin2014-12-203-1/+225
* Bump agda-stdlib to 0.9Mark Wright2014-12-141-5/+7
* Bump agda-stdlib to 0.9Mark Wright2014-12-142-1/+73
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-141-6/+8
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-143-1/+135