| Commit message (Expand) | Author | Age | Files | Lines |
* | remove old | Alexis Ballier | 2012-01-16 | 3 | -73/+8 |
* | do not use seq in global scope, by Ulrich Müller, bug #398799 | Alexis Ballier | 2012-01-16 | 3 | -8/+11 |
* | 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 | 5 | -16/+20 |
* | version bump | Alexis Ballier | 2011-11-30 | 3 | -7/+80 |
* | x86 stable wrt bug #383825 | Paweł Hajdan | 2011-10-01 | 3 | -5/+18 |
* | Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug... | Tony Vroon | 2011-09-20 | 3 | -15/+9 |
* | 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 | 3 | -5/+78 |
* | 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 | 4 | -7/+90 |
* | remove old | Alexis Ballier | 2010-12-24 | 4 | -101/+9 |
* | version bump | Alexis Ballier | 2010-12-07 | 3 | -5/+58 |
* | version bump | Alexis Ballier | 2010-11-18 | 3 | -5/+58 |
* | remove old | Alexis Ballier | 2010-09-29 | 4 | -98/+16 |
* | sparc stable wrt #324811 | Raúl Porcel | 2010-09-18 | 3 | -15/+8 |
* | version bump | Alexis Ballier | 2010-08-10 | 3 | -5/+58 |
* | fix build with ocaml 3.12 | Alexis Ballier | 2010-08-03 | 4 | -8/+35 |
* | stable x86, bug 324811 | Christian Faulhammer | 2010-07-11 | 3 | -5/+18 |
* | ppc stable #324811 | Gysbert Wassenaar | 2010-06-27 | 3 | -15/+8 |
* | stable amd64, bug 324811 | Pacho Ramos | 2010-06-24 | 3 | -8/+11 |
* | version bump | Alexis Ballier | 2010-05-19 | 3 | -6/+59 |
* | version bump | Alexis Ballier | 2010-04-09 | 3 | -7/+60 |
* | remove old | Alexis Ballier | 2009-09-20 | 1 | -3/+11 |
* | remove old | Alexis Ballier | 2009-09-20 | 2 | -47/+4 |
* | ppc stable #276249 | Gysbert Wassenaar | 2009-08-09 | 3 | -5/+8 |
* | amd64 stable, bug 276249 | Jeremy Olexa | 2009-08-02 | 3 | -5/+8 |
* | sparc stable wrt #276249 | Raúl Porcel | 2009-07-06 | 3 | -15/+8 |
* | stable x86, bug 276249 | Christian Faulhammer | 2009-07-02 | 3 | -8/+11 |
* | version bump | Alexis Ballier | 2009-05-23 | 3 | -5/+58 |
* | punt old | Alexis Ballier | 2009-05-14 | 4 | -106/+16 |
* | Sparc stable, Bug #260604. | Ferris McCormick | 2009-05-14 | 3 | -5/+8 |
* | stable ppc, bug 260604 | Brent Baude | 2009-03-18 | 3 | -15/+8 |
* | amd64/x86 stable, bug #260604 | Markus Meier | 2009-03-08 | 3 | -8/+11 |
* | version bump | Alexis Ballier | 2009-01-07 | 3 | -6/+59 |
* | version bump | Alexis Ballier | 2008-10-16 | 3 | -5/+58 |
* | keyword ~x86-fbsd | Alexis Ballier | 2008-09-25 | 1 | -5/+5 |
* | keyword ~x86-fbsd | Alexis Ballier | 2008-09-25 | 2 | -3/+6 |
* | remove old | Alexis Ballier | 2008-08-12 | 3 | -58/+15 |
* | Stable on sparc, bug #234162 | Friedrich Oslage | 2008-08-09 | 3 | -15/+8 |
* | amd64/x86 stable, bug #234162 | Markus Meier | 2008-08-08 | 3 | -5/+18 |
* | Stable on ppc wrt bug 234162 | Gysbert Wassenaar | 2008-08-08 | 3 | -15/+8 |
* | set eapi before inherit, as pointed out by Thomas Anderson | Alexis Ballier | 2008-07-02 | 4 | -13/+17 |
* | version bump | Alexis Ballier | 2008-07-02 | 3 | -2/+73 |
* | sparc stable wrt #215736 | Raúl Porcel | 2008-04-08 | 3 | -15/+8 |