| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 |   Justin Lecher | 2014-01-23 | 1 | -3/+3 |
| * | remove ptex dep as it is going away |   Alexis Ballier | 2011-10-05 | 1 | -4/+4 |
| * | Marking coq-8.3_p1 ppc for bug 355539 |   Brent Baude | 2011-06-03 | 1 | -2/+2 |
| * | Drop sparc keywords |   Raúl Porcel | 2011-02-27 | 1 | -2/+2 |
| * | Stable on amd64 wrt bug #355539 |   Markos Chandras | 2011-02-21 | 1 | -2/+2 |
| * | x86 stable wrt bug #355539 |   Paweł Hajdan | 2011-02-20 | 1 | -2/+2 |
| * | version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145 | Alexis Ballier | 2011-01-20 | 1 | -0/+81 |
GitWeb