summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-131-5/+7
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-133-1/+105
* Fix prefix paths #466852Patrick Lauer2015-03-111-2/+2
* Fix prefix paths #466852Patrick Lauer2015-03-112-6/+9
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-101-5/+5
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-102-3/+7
* bump to 4.0.2Thomas Kahle2015-03-091-18/+10
* bump to 4.0.2Thomas Kahle2015-03-093-2/+162
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-091-5/+15
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-092-3/+6
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-091-8/+22
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-093-8/+56
* Version bumpAndrey Grozin2015-03-071-17/+17
* Version bumpAndrey Grozin2015-03-072-4/+10
* Bump to 2.14Thomas Kahle2015-03-051-4/+6
* Bump to 2.14Thomas Kahle2015-03-052-1/+65
* Drop RESTRICT=binchecks in favour of QA_Justin Lecher2015-03-051-18/+20
* Drop RESTRICT=binchecks in favour of QA_Justin Lecher2015-03-053-10/+10
* 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