summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* version bumpAlexis Ballier2011-04-191-4/+9
* version bumpAlexis Ballier2011-04-192-1/+72
* remove oldAlexis Ballier2011-01-201-5/+4
* remove oldAlexis Ballier2011-01-202-47/+4
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-201-5/+7
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-203-2/+83
* remove oldAlexis Ballier2010-12-241-8/+4
* remove oldAlexis Ballier2010-12-243-93/+5
* version bumpAlexis Ballier2010-12-071-4/+6
* version bumpAlexis Ballier2010-12-072-1/+52
* version bumpAlexis Ballier2010-11-181-4/+6
* version bumpAlexis Ballier2010-11-182-1/+52
* remove oldAlexis Ballier2010-09-291-5/+11
* remove oldAlexis Ballier2010-09-293-93/+5
* sparc stable wrt #324811Raúl Porcel2010-09-181-12/+2
* sparc stable wrt #324811Raúl Porcel2010-09-182-3/+6
* version bumpAlexis Ballier2010-08-101-4/+6
* version bumpAlexis Ballier2010-08-102-1/+52
* fix build with ocaml 3.12Alexis Ballier2010-08-031-6/+7
* fix build with ocaml 3.12Alexis Ballier2010-08-033-2/+28
* stable x86, bug 324811Christian Faulhammer2010-07-111-2/+12
* stable x86, bug 324811Christian Faulhammer2010-07-112-3/+6
* ppc stable #324811Gysbert Wassenaar2010-06-271-12/+2
* ppc stable #324811Gysbert Wassenaar2010-06-272-3/+6
* stable amd64, bug 324811Pacho Ramos2010-06-241-5/+5
* stable amd64, bug 324811Pacho Ramos2010-06-242-3/+6
* version bumpAlexis Ballier2010-05-191-5/+7
* version bumpAlexis Ballier2010-05-192-1/+52
* version bumpAlexis Ballier2010-04-091-5/+7
* version bumpAlexis Ballier2010-04-092-2/+53
* remove oldAlexis Ballier2009-09-201-3/+11
* remove oldAlexis Ballier2009-09-202-47/+4
* ppc stable #276249Gysbert Wassenaar2009-08-091-2/+2
* ppc stable #276249Gysbert Wassenaar2009-08-092-3/+6
* amd64 stable, bug 276249Jeremy Olexa2009-08-021-2/+2
* amd64 stable, bug 276249Jeremy Olexa2009-08-022-3/+6
* sparc stable wrt #276249Raúl Porcel2009-07-061-12/+2
* sparc stable wrt #276249Raúl Porcel2009-07-062-3/+6
* stable x86, bug 276249Christian Faulhammer2009-07-021-5/+5
* stable x86, bug 276249Christian Faulhammer2009-07-022-3/+6
* version bumpAlexis Ballier2009-05-231-4/+6
* version bumpAlexis Ballier2009-05-232-1/+52
* punt oldAlexis Ballier2009-05-141-5/+11
* punt oldAlexis Ballier2009-05-143-101/+5
* Sparc stable, Bug #260604.Ferris McCormick2009-05-141-2/+2
* Sparc stable, Bug #260604.Ferris McCormick2009-05-142-3/+6
* stable ppc, bug 260604Brent Baude2009-03-181-12/+2
* stable ppc, bug 260604Brent Baude2009-03-182-3/+6
* amd64/x86 stable, bug #260604Markus Meier2009-03-081-5/+5
* amd64/x86 stable, bug #260604Markus Meier2009-03-082-3/+6