| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | eapi5 and add := dep on ocaml pacakges |   Alexis Ballier | 2013-08-19 | 1 | -5/+5 |
| * | Stable for x86, wrt bug #460136 |   Agostino Sarubbo | 2013-04-15 | 1 | -2/+2 |
| * | Stable for amd64, wrt bug #460136 | Agostino Sarubbo | 2013-03-05 | 1 | -2/+2 |
| * | fix build with camlp4, bug #450954 | Alexis Ballier | 2013-01-15 | 1 | -1/+5 |
| * | Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s... |   Mark Wright | 2013-01-07 | 1 | -0/+77 |
GitWeb