| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | remove old |   Alexis Ballier | 2011-01-24 | 1 | -6/+4 |
| * | remove old | Alexis Ballier | 2011-01-24 | 2 | -38/+4 |
| * | remove old | Alexis Ballier | 2011-01-24 | 1 | -5/+11 |
| * | remove old | Alexis Ballier | 2011-01-24 | 3 | -154/+5 |
| * | remove old | Alexis Ballier | 2011-01-24 | 1 | -7/+11 |
| * | remove old | Alexis Ballier | 2011-01-24 | 5 | -419/+6 |
| * | ppc stable wrt #343751 |   Kacper Kowalik | 2011-01-22 | 1 | -12/+2 |
| * | ppc stable wrt #343751 | Kacper Kowalik | 2011-01-22 | 2 | -5/+8 |
| * | ppc64 stable wrt #349633 | Kacper Kowalik | 2011-01-22 | 1 | -2/+2 |
| * | ppc64 stable wrt #349633 | Kacper Kowalik | 2011-01-22 | 2 | -3/+6 |
| * | Stable for HPPA (bug #349633). |   Jeroen Roovers | 2011-01-21 | 1 | -2/+2 |
| * | Stable for HPPA (bug #349633). | Jeroen Roovers | 2011-01-21 | 2 | -3/+6 |
| * | remove old | Alexis Ballier | 2011-01-21 | 1 | -11/+5 |
| * | remove old | Alexis Ballier | 2011-01-21 | 4 | -127/+6 |
| * | remove old | Alexis Ballier | 2011-01-21 | 1 | -9/+5 |
| * | remove old | Alexis Ballier | 2011-01-21 | 3 | -94/+6 |
| * | Fix pervasives conflict with ocaml 3.12 | Alexis Ballier | 2011-01-20 | 1 | -6/+7 |
| * | Fix pervasives conflict with ocaml 3.12 | Alexis Ballier | 2011-01-20 | 3 | -5/+93 |
| * | version bump | Alexis Ballier | 2011-01-20 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2011-01-20 | 2 | -1/+50 |
| * | ocamlopt is now optional | Alexis Ballier | 2011-01-20 | 1 | -4/+4 |
| * | ocamlopt is now optional | Alexis Ballier | 2011-01-20 | 1 | -2/+2 |
| * | version bump | Alexis Ballier | 2011-01-20 | 1 | -5/+7 |
| * | version bump | Alexis Ballier | 2011-01-20 | 2 | -2/+48 |
| * | remove old | Alexis Ballier | 2011-01-20 | 1 | -3/+11 |
| * | remove old | Alexis Ballier | 2011-01-20 | 2 | -32/+4 |
| * | remove old | Alexis Ballier | 2011-01-20 | 1 | -5/+4 |
| * | remove old | Alexis Ballier | 2011-01-20 | 2 | -47/+4 |
| * | Import a patch from upstream/debian to fix latest coq build failure, bug #352... | Alexis Ballier | 2011-01-20 | 1 | -5/+7 |
| * | Import a patch from upstream/debian to fix latest coq build failure, bug #352... | Alexis Ballier | 2011-01-20 | 3 | -2/+83 |
| * | remove old | Alexis Ballier | 2011-01-20 | 1 | -5/+11 |
| * | remove old | Alexis Ballier | 2011-01-20 | 3 | -89/+5 |
| * | stable ppc, bug 349761 |   Brent Baude | 2011-01-13 | 1 | -12/+2 |
| * | stable ppc, bug 349761 | Brent Baude | 2011-01-13 | 2 | -3/+6 |
| * | stable ppc, bug 349633 | Brent Baude | 2011-01-13 | 1 | -2/+2 |
| * | stable ppc, bug 349633 | Brent Baude | 2011-01-13 | 2 | -3/+6 |
| * | stable ppc, bug 349760 | Brent Baude | 2011-01-13 | 1 | -12/+2 |
| * | stable ppc, bug 349760 | Brent Baude | 2011-01-13 | 2 | -3/+6 |
| * | alpha/ia64/sparc stable wrt #349633 |   Raúl Porcel | 2011-01-09 | 1 | -12/+2 |
| * | alpha/ia64/sparc stable wrt #349633 | Raúl Porcel | 2011-01-09 | 2 | -3/+6 |
| * | Stable on amd64 wrt bug #349633 |   Markos Chandras | 2011-01-05 | 1 | -5/+5 |
| * | Stable on amd64 wrt bug #349633 | Markos Chandras | 2011-01-05 | 2 | -5/+8 |
| * | Removed RESTRICT=mirror since there is no reason for it |   Andreas K. Hüttel | 2011-01-03 | 1 | -12/+2 |
| * | Removed RESTRICT=mirror since there is no reason for it | Andreas K. Hüttel | 2011-01-03 | 2 | -5/+7 |
| * | Stable on amd64 wrt bug #349761 | Markos Chandras | 2011-01-02 | 1 | -5/+5 |
| * | Stable on amd64 wrt bug #349761 | Markos Chandras | 2011-01-02 | 2 | -5/+8 |
| * | Stable on amd64 wrt bug #349760 | Markos Chandras | 2011-01-02 | 1 | -5/+5 |
| * | Stable on amd64 wrt bug #349760 | Markos Chandras | 2011-01-02 | 2 | -5/+8 |
| * | version bump | Alexis Ballier | 2011-01-01 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2011-01-01 | 2 | -2/+50 |
GitWeb