| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 |   Justin Lecher | 2014-01-23 | 1 | -6/+7 |
| * | eapi5 and add := dep on ocaml pacakges |   Alexis Ballier | 2013-08-19 | 1 | -5/+5 |
| * | Bump coq to 8.4pl2 / coq-8.4_p2. |   Mark Wright | 2013-08-03 | 1 | -0/+77 |
GitWeb