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