| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | x86 stable per bug 349761 |   Thomas Kahle | 2010-12-29 | 1 | -5/+5 |
| * | x86 stable per bug 349761 | Thomas Kahle | 2010-12-29 | 2 | -3/+6 |
| * | x86 stable per bug 349760 | Thomas Kahle | 2010-12-29 | 1 | -5/+5 |
| * | x86 stable per bug 349760 | Thomas Kahle | 2010-12-29 | 2 | -3/+6 |
| * | x86 stable per bug 349633 | Thomas Kahle | 2010-12-29 | 1 | -2/+12 |
| * | x86 stable per bug 349633 | Thomas Kahle | 2010-12-29 | 2 | -3/+6 |
| * | version bump | Alexis Ballier | 2010-12-25 | 1 | -5/+7 |
| * | version bump | Alexis Ballier | 2010-12-25 | 3 | -1/+60 |
| * | remove old | Alexis Ballier | 2010-12-24 | 1 | -8/+4 |
| * | remove old | Alexis Ballier | 2010-12-24 | 4 | -100/+5 |
| * | remove old | Alexis Ballier | 2010-12-24 | 1 | -6/+4 |
| * | remove old | Alexis Ballier | 2010-12-24 | 2 | -45/+4 |
| * | remove old | Alexis Ballier | 2010-12-24 | 1 | -8/+4 |
| * | remove old | Alexis Ballier | 2010-12-24 | 3 | -93/+5 |
| * | version bump | Alexis Ballier | 2010-12-23 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2010-12-23 | 2 | -1/+31 |
| * | version bump | Alexis Ballier | 2010-12-23 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2010-12-23 | 2 | -1/+53 |
GitWeb