| Commit message (Expand) | Author | Age | Files | Lines |
* | Various improvements, thanks Benjamin Lorenz. |  Thomas Kahle | 2015-03-13 | 1 | -5/+7 |
* | Various improvements, thanks Benjamin Lorenz. |  Thomas Kahle | 2015-03-13 | 3 | -1/+105 |
* | Fix prefix paths #466852 |  Patrick Lauer | 2015-03-11 | 1 | -2/+2 |
* | Fix prefix paths #466852 |  Patrick Lauer | 2015-03-11 | 2 | -6/+9 |
* | Fix missing dep on cddlib (542746) |  Thomas Kahle | 2015-03-10 | 1 | -5/+5 |
* | Fix missing dep on cddlib (542746) |  Thomas Kahle | 2015-03-10 | 2 | -3/+7 |
* | bump to 4.0.2 |  Thomas Kahle | 2015-03-09 | 1 | -18/+10 |
* | bump to 4.0.2 |  Thomas Kahle | 2015-03-09 | 3 | -2/+162 |
* | Stable for amd64, wrt bug #542270 |  Agostino Sarubbo | 2015-03-09 | 1 | -5/+15 |
* | Stable for amd64, wrt bug #542270 |  Agostino Sarubbo | 2015-03-09 | 2 | -3/+6 |
* | Version Bump, fixes problems with format security, #542666 |  Justin Lecher | 2015-03-09 | 1 | -8/+22 |
* | Version Bump, fixes problems with format security, #542666 |  Justin Lecher | 2015-03-09 | 3 | -8/+56 |
* | Version bump |  Andrey Grozin | 2015-03-07 | 1 | -17/+17 |
* | Version bump |  Andrey Grozin | 2015-03-07 | 2 | -4/+10 |
* | Bump to 2.14 |  Thomas Kahle | 2015-03-05 | 1 | -4/+6 |
* | Bump to 2.14 |  Thomas Kahle | 2015-03-05 | 2 | -1/+65 |
* | Drop RESTRICT=binchecks in favour of QA_ |  Justin Lecher | 2015-03-05 | 1 | -18/+20 |
* | Drop RESTRICT=binchecks in favour of QA_ |  Justin Lecher | 2015-03-05 | 3 | -10/+10 |
* | Fix gcc-4.9 compatibility (bug 541238) |  Thomas Kahle | 2015-03-03 | 1 | -6/+7 |
* | Fix gcc-4.9 compatibility (bug 541238) |  Thomas Kahle | 2015-03-03 | 3 | -4/+77 |
* | Fix gcc-4.9 build (541364) |  Thomas Kahle | 2015-03-01 | 1 | -5/+6 |
* | Fix gcc-4.9 build (541364) |  Thomas Kahle | 2015-03-01 | 3 | -2/+18 |
* | Patch rstudio-0.98.1091 to build with boost 1.57 |  Mark Wright | 2015-02-28 | 1 | -12/+13 |
* | Patch rstudio-0.98.1091 to build with boost 1.57 |  Mark Wright | 2015-02-28 | 10 | -38/+106 |
* | Version BUmp, #532906; fix missing slot Operators and inherits |  Justin Lecher | 2015-02-27 | 1 | -21/+23 |
* | Version BUmp, #532906; fix missing slot Operators and inherits |  Justin Lecher | 2015-02-27 | 5 | -12/+78 |
* | Drop ~alpha because of a number of non-keyworded deps. |  Michał Górny | 2015-02-22 | 1 | -16/+16 |
* | Drop ~alpha because of a number of non-keyworded deps. |  Michał Górny | 2015-02-22 | 2 | -5/+8 |
* | amd64/x86 stable, bug #540522 |  Pacho Ramos | 2015-02-22 | 1 | -17/+7 |
* | amd64/x86 stable, bug #540522 |  Pacho Ramos | 2015-02-22 | 2 | -5/+8 |
* | Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch... |  Mark Wright | 2015-02-15 | 1 | -5/+8 |
* | Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch... |  Mark Wright | 2015-02-15 | 5 | -8/+66 |
* | Stable for amd64, wrt bug #406773 |  Agostino Sarubbo | 2015-01-31 | 1 | -18/+16 |
* | Stable for amd64, wrt bug #406773 |  Agostino Sarubbo | 2015-01-31 | 2 | -5/+8 |
* | Remove old version with unsatisfied dependencies |  Patrick Lauer | 2015-01-30 | 1 | -13/+1 |
* | Remove old version with unsatisfied dependencies |  Patrick Lauer | 2015-01-30 | 2 | -45/+5 |
* | Remove old version with unsatisfied dependencies |  Patrick Lauer | 2015-01-30 | 1 | -12/+1 |
* | Remove old version with unsatisfied dependencies |  Patrick Lauer | 2015-01-30 | 2 | -34/+6 |
* | Switch to CPU_FLAGS_X86. |  Michał Górny | 2015-01-29 | 1 | -7/+19 |
* | Switch to CPU_FLAGS_X86. |  Michał Górny | 2015-01-29 | 3 | -14/+18 |
* | Bump to 2.12.2, cleanup |  Thomas Kahle | 2015-01-29 | 1 | -9/+6 |
* | Bump to 2.12.2, cleanup |  Thomas Kahle | 2015-01-29 | 4 | -101/+12 |
* | Drop old patches |  Mark Wright | 2015-01-29 | 1 | -6/+11 |
* | Drop old patches |  Mark Wright | 2015-01-29 | 6 | -122/+7 |
* | Drop old with now unsatisfied dep on dev-haskell/hashtables |  Patrick Lauer | 2015-01-29 | 1 | -16/+1 |
* | Drop old with now unsatisfied dep on dev-haskell/hashtables |  Patrick Lauer | 2015-01-29 | 5 | -361/+6 |
* | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... |  Mark Wright | 2015-01-25 | 1 | -10/+13 |
* | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... |  Mark Wright | 2015-01-25 | 5 | -9/+616 |
* | Fix imagemagick/graphicsmagick sub-SLOT deps. |  Jeroen Roovers | 2015-01-07 | 1 | -16/+6 |
* | Fix imagemagick/graphicsmagick sub-SLOT deps. |  Jeroen Roovers | 2015-01-07 | 3 | -10/+14 |