| Commit message (Expand) | Author | Age | Files | Lines |
* | version bump | Alexis Ballier | 2015-07-30 | 1 | -1/+6 |
* | remove old | Alexis Ballier | 2015-06-18 | 1 | -1/+4 |
* | version bump | Alexis Ballier | 2015-06-18 | 1 | -1/+6 |
* | Stable for ppc, wrt bug #535126 | Agostino Sarubbo | 2015-06-11 | 1 | -1/+4 |
* | Stable for x86, wrt bug #535126 | Agostino Sarubbo | 2015-05-27 | 1 | -1/+4 |
* | Stable for amd64, wrt bug #535126 | Agostino Sarubbo | 2015-05-21 | 1 | -2/+5 |
* | version bump | Alexis Ballier | 2014-10-23 | 1 | -1/+6 |
* | update homepage and src_uri | Alexis Ballier | 2014-10-23 | 1 | -1/+4 |
* | remove old | Alexis Ballier | 2014-10-23 | 1 | -2/+6 |
* | Stable for x86, wrt bug #492048 | Agostino Sarubbo | 2013-12-24 | 1 | -1/+4 |
* | Stable for amd64 wrt bug #492048 | José María Alonso | 2013-12-22 | 1 | -1/+4 |
* | Stable for ppc, wrt bug #492048 | Agostino Sarubbo | 2013-12-21 | 1 | -1/+4 |
* | Stable for x86, wrt bug #481230 | Agostino Sarubbo | 2013-08-28 | 1 | -1/+4 |
* | Stable for ppc, wrt bug #481230 | Agostino Sarubbo | 2013-08-26 | 1 | -1/+4 |
* | Stable for amd64, wrt bug #481230 | Agostino Sarubbo | 2013-08-17 | 1 | -2/+4 |
* | version bump | Alexis Ballier | 2013-08-15 | 1 | -1/+6 |
* | remove old | Alexis Ballier | 2013-03-03 | 1 | -1/+5 |
* | eapi 5, add subslot and := dep on ocaml | Alexis Ballier | 2013-02-07 | 1 | -2/+5 |
* | version bump | Alexis Ballier | 2012-10-09 | 1 | -1/+6 |
* | version bump | Alexis Ballier | 2012-06-05 | 1 | -1/+6 |
* | remove ol | Alexis Ballier | 2012-05-18 | 1 | -1/+5 |
* | version bump | Alexis Ballier | 2012-03-09 | 1 | -1/+6 |
* | version bump, switch to strict mode since everything in the tree is now fine ... | Alexis Ballier | 2012-03-01 | 1 | -1/+7 |
* | remove old | Alexis Ballier | 2012-02-23 | 1 | -1/+5 |
* | Marking camlp5-6.02.3 ppc for bug 383825 | Brent Baude | 2012-02-22 | 1 | -1/+4 |
* | remove old | Alexis Ballier | 2012-01-16 | 1 | -1/+4 |
* | do not use seq in global scope, by Ulrich Müller, bug #398799 | Alexis Ballier | 2012-01-16 | 1 | -1/+4 |
* | version bump | Alexis Ballier | 2012-01-10 | 1 | -2/+7 |
* | Drop sparc keywords | Raúl Porcel | 2011-12-18 | 1 | -1/+5 |
* | version bump | Alexis Ballier | 2011-11-30 | 1 | -1/+6 |
* | x86 stable wrt bug #383825 | Paweł Hajdan | 2011-10-01 | 1 | -1/+4 |
* | Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug... | Tony Vroon | 2011-09-20 | 1 | -1/+5 |
* | remove old | Alexis Ballier | 2011-07-06 | 1 | -1/+6 |
* | version bump | Alexis Ballier | 2011-06-26 | 1 | -1/+6 |
* | version bump | Alexis Ballier | 2011-04-19 | 1 | -1/+6 |
* | remove old | Alexis Ballier | 2011-01-20 | 1 | -1/+4 |
* | Import a patch from upstream/debian to fix latest coq build failure, bug #352... | Alexis Ballier | 2011-01-20 | 1 | -2/+10 |
* | remove old | Alexis Ballier | 2010-12-24 | 1 | -1/+5 |
* | version bump | Alexis Ballier | 2010-12-07 | 1 | -1/+6 |
* | version bump | Alexis Ballier | 2010-11-18 | 1 | -1/+6 |
* | remove old | Alexis Ballier | 2010-09-29 | 1 | -1/+5 |
* | sparc stable wrt #324811 | Raúl Porcel | 2010-09-18 | 1 | -1/+4 |
* | version bump | Alexis Ballier | 2010-08-10 | 1 | -1/+6 |
* | fix build with ocaml 3.12 | Alexis Ballier | 2010-08-03 | 1 | -1/+5 |
* | stable x86, bug 324811 | Christian Faulhammer | 2010-07-11 | 1 | -1/+4 |
* | ppc stable #324811 | Gysbert Wassenaar | 2010-06-27 | 1 | -1/+4 |
* | stable amd64, bug 324811 | Pacho Ramos | 2010-06-24 | 1 | -1/+4 |
* | version bump | Alexis Ballier | 2010-05-19 | 1 | -1/+6 |
* | version bump | Alexis Ballier | 2010-04-09 | 1 | -2/+7 |
* | remove old | Alexis Ballier | 2009-09-20 | 1 | -1/+4 |