| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Stable for x86, wrt bug #481230 |   Agostino Sarubbo | 2013-08-28 | 1 | -15/+15 |
| * | Stable for x86, wrt bug #481230 | Agostino Sarubbo | 2013-08-28 | 2 | -3/+6 |
| * | Stable for ppc, wrt bug #481230 | Agostino Sarubbo | 2013-08-26 | 1 | -15/+15 |
| * | Stable for ppc, wrt bug #481230 | Agostino Sarubbo | 2013-08-26 | 2 | -3/+6 |
| * | Stable for amd64, wrt bug #481230 | Agostino Sarubbo | 2013-08-17 | 1 | -6/+16 |
| * | Stable for amd64, wrt bug #481230 | Agostino Sarubbo | 2013-08-17 | 2 | -4/+6 |
| * | version bump |   Alexis Ballier | 2013-08-15 | 1 | -5/+7 |
| * | version bump | Alexis Ballier | 2013-08-15 | 2 | -1/+73 |
| * | remove old | Alexis Ballier | 2013-03-03 | 1 | -8/+4 |
| * | remove old | Alexis Ballier | 2013-03-03 | 3 | -135/+5 |
| * | eapi 5, add subslot and := dep on ocaml | Alexis Ballier | 2013-02-07 | 1 | -5/+5 |
| * | eapi 5, add subslot and := dep on ocaml | Alexis Ballier | 2013-02-07 | 2 | -12/+15 |
| * | version bump | Alexis Ballier | 2012-10-09 | 1 | -1/+14 |
| * | version bump | Alexis Ballier | 2012-10-09 | 2 | -1/+73 |
| * | Change manifest to new hashes. |   Jeff Horelick | 2012-07-05 | 1 | -18/+8 |
| * | version bump | Alexis Ballier | 2012-06-05 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2012-06-05 | 2 | -1/+73 |
| * | remove ol | Alexis Ballier | 2012-05-18 | 1 | -9/+5 |
| * | remove ol | Alexis Ballier | 2012-05-18 | 3 | -134/+5 |
| * | version bump | Alexis Ballier | 2012-03-09 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2012-03-09 | 2 | -1/+73 |
| * | version bump, switch to strict mode since everything in the tree is now fine ... | Alexis Ballier | 2012-03-01 | 1 | -4/+6 |
| * | version bump, switch to strict mode since everything in the tree is now fine ... | Alexis Ballier | 2012-03-01 | 2 | -1/+74 |
| * | remove old | Alexis Ballier | 2012-02-23 | 1 | -4/+11 |
| * | remove old | Alexis Ballier | 2012-02-23 | 3 | -69/+5 |
| * | Marking camlp5-6.02.3 ppc for bug 383825 |   Brent Baude | 2012-02-22 | 1 | -12/+2 |
| * | Marking camlp5-6.02.3 ppc for bug 383825 | Brent Baude | 2012-02-22 | 2 | -4/+7 |
| * | remove old | Alexis Ballier | 2012-01-16 | 1 | -6/+4 |
| * | remove old | Alexis Ballier | 2012-01-16 | 2 | -67/+4 |
| * | do not use seq in global scope, by Ulrich Müller, bug #398799 | Alexis Ballier | 2012-01-16 | 1 | -5/+5 |
| * | do not use seq in global scope, by Ulrich Müller, bug #398799 | Alexis Ballier | 2012-01-16 | 2 | -3/+6 |
| * | version bump | Alexis Ballier | 2012-01-10 | 1 | -5/+7 |
| * | version bump | Alexis Ballier | 2012-01-10 | 2 | -2/+73 |
| * | Drop sparc keywords |   Raúl Porcel | 2011-12-18 | 1 | -8/+8 |
| * | Drop sparc keywords | Raúl Porcel | 2011-12-18 | 4 | -8/+12 |
| * | version bump | Alexis Ballier | 2011-11-30 | 1 | -6/+8 |
| * | version bump | Alexis Ballier | 2011-11-30 | 2 | -1/+72 |
| * | x86 stable wrt bug #383825 |   Paweł Hajdan | 2011-10-01 | 1 | -2/+12 |
| * | x86 stable wrt bug #383825 | Paweł Hajdan | 2011-10-01 | 2 | -3/+6 |
| * | Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug... |   Tony Vroon | 2011-09-20 | 1 | -12/+2 |
| * | Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug... | Tony Vroon | 2011-09-20 | 2 | -3/+7 |
| * | remove old | Alexis Ballier | 2011-07-06 | 1 | -12/+4 |
| * | remove old | Alexis Ballier | 2011-07-06 | 4 | -140/+6 |
| * | version bump | Alexis Ballier | 2011-06-26 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2011-06-26 | 2 | -1/+72 |
| * | version bump | Alexis Ballier | 2011-04-19 | 1 | -4/+9 |
| * | version bump | Alexis Ballier | 2011-04-19 | 2 | -1/+72 |
| * | 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 |
Agostino Sarubbo
Alexis Ballier
Jeff Horelick
Brent Baude
Raúl Porcel
Paweł Hajdan
Tony Vroon
GitWeb