| Commit message (Expand) | Author | Age | Files | Lines |
* | Bump coq to 8.4pl2 / coq-8.4_p2. | Mark Wright | 2013-08-03 | 1 | -16/+8 |
* | Bump coq to 8.4pl2 / coq-8.4_p2. | Mark Wright | 2013-08-03 | 2 | -1/+83 |
* | Stable for x86, wrt bug #477148 | Agostino Sarubbo | 2013-07-27 | 1 | -15/+15 |
* | Stable for x86, wrt bug #477148 | Agostino Sarubbo | 2013-07-27 | 2 | -3/+6 |
* | bump to 2.10.1, remove old | Thomas Kahle | 2013-07-27 | 1 | -19/+6 |
* | bump to 2.10.1, remove old | Thomas Kahle | 2013-07-27 | 3 | -64/+19 |
* | relax Normaliz dep | Thomas Kahle | 2013-07-27 | 1 | -6/+6 |
* | relax Normaliz dep | Thomas Kahle | 2013-07-27 | 2 | -4/+7 |
* | Fix Qt dependencies. | Michael Palimaka | 2013-07-23 | 1 | -5/+9 |
* | Fix Qt dependencies. | Michael Palimaka | 2013-07-23 | 2 | -3/+7 |
* | Stable for amd64, wrt bug #477148 | Agostino Sarubbo | 2013-07-21 | 1 | -6/+16 |
* | Stable for amd64, wrt bug #477148 | Agostino Sarubbo | 2013-07-21 | 2 | -3/+6 |
* | Cleanup due #473480 | Pacho Ramos | 2013-07-21 | 1 | -13/+23 |
* | Cleanup due #473480 | Pacho Ramos | 2013-07-21 | 2 | -5/+5 |
* | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 1 | -22/+2 |
* | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 2 | -3/+7 |
* | Fix wrong usage of EPREFIX | Thomas Kahle | 2013-07-18 | 1 | -6/+6 |
* | Fix wrong usage of EPREFIX | Thomas Kahle | 2013-07-18 | 2 | -3/+6 |
* | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 1 | -13/+3 |
* | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 3 | -5/+9 |
* | Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47... | Sebastien Fabbro | 2013-07-16 | 1 | -19/+17 |
* | Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47... | Sebastien Fabbro | 2013-07-16 | 12 | -1/+445 |
* | version bump | Julian Ospald | 2013-07-16 | 1 | -8/+14 |
* | version bump | Julian Ospald | 2013-07-16 | 6 | -1/+362 |
* | fix building with boost-1.53 wrt #476274 | Julian Ospald | 2013-07-15 | 1 | -10/+11 |
* | fix building with boost-1.53 wrt #476274 | Julian Ospald | 2013-07-15 | 3 | -3/+72 |
* | Version bump | Sebastien Fabbro | 2013-07-09 | 1 | -17/+8 |
* | Version bump | Sebastien Fabbro | 2013-07-09 | 2 | -1/+78 |
* | Add pdf documentation hidden as .tex in the source | Patrick Lauer | 2013-07-05 | 1 | -2/+3 |
* | Add pdf documentation hidden as .tex in the source | Patrick Lauer | 2013-07-05 | 2 | -3/+8 |
* | Fixed #473102 - depend on <texinfo-5.0 again | Andrey Grozin | 2013-07-01 | 1 | -17/+16 |
* | Fixed #473102 - depend on <texinfo-5.0 again | Andrey Grozin | 2013-07-01 | 3 | -239/+10 |
* | Remove futile pkg_setup phase | Patrick Lauer | 2013-07-01 | 1 | -2/+2 |
* | Remove futile pkg_setup phase | Patrick Lauer | 2013-07-01 | 2 | -13/+5 |
* | Stable for ppc64, wrt bug #473850 | Agostino Sarubbo | 2013-06-29 | 1 | -15/+15 |
* | Stable for ppc64, wrt bug #473850 | Agostino Sarubbo | 2013-06-29 | 2 | -3/+6 |
* | sci-mathematics/genius: Version Bump; drop old | Justin Lecher | 2013-06-28 | 1 | -6/+14 |
* | sci-mathematics/genius: Version Bump; drop old | Justin Lecher | 2013-06-28 | 4 | -84/+30 |
* | Add correct python:2.7 dep | Thomas Kahle | 2013-06-28 | 1 | -6/+6 |
* | Add correct python:2.7 dep | Thomas Kahle | 2013-06-28 | 2 | -10/+8 |
* | Version bump | Andrey Grozin | 2013-06-26 | 1 | -23/+19 |
* | Version bump | Andrey Grozin | 2013-06-26 | 6 | -153/+16 |
* | Stable for amd64, wrt bug #473564 | Agostino Sarubbo | 2013-06-25 | 1 | -15/+15 |
* | Stable for amd64, wrt bug #473564 | Agostino Sarubbo | 2013-06-25 | 2 | -3/+6 |
* | Stable for amd64, wrt bug #473850 | Agostino Sarubbo | 2013-06-25 | 1 | -15/+15 |
* | Stable for amd64, wrt bug #473850 | Agostino Sarubbo | 2013-06-25 | 2 | -3/+6 |
* | Stable for x86, wrt bug #473564 | Agostino Sarubbo | 2013-06-25 | 1 | -6/+16 |
* | Stable for x86, wrt bug #473564 | Agostino Sarubbo | 2013-06-25 | 2 | -3/+6 |
* | Stable for x86, wrt bug #473850 | Agostino Sarubbo | 2013-06-25 | 1 | -16/+16 |
* | Stable for x86, wrt bug #473850 | Agostino Sarubbo | 2013-06-25 | 2 | -3/+6 |