summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* remove oldAlexis Ballier2011-07-061-12/+4
* remove oldAlexis Ballier2011-07-064-140/+6
* version bumpAlexis Ballier2011-06-263-5/+78
* 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-204-7/+90
* remove oldAlexis Ballier2010-12-244-101/+9
* version bumpAlexis Ballier2010-12-073-5/+58
* version bumpAlexis Ballier2010-11-183-5/+58
* remove oldAlexis Ballier2010-09-294-98/+16
* sparc stable wrt #324811Raúl Porcel2010-09-183-15/+8
* version bumpAlexis Ballier2010-08-103-5/+58
* fix build with ocaml 3.12Alexis Ballier2010-08-034-8/+35
* stable x86, bug 324811Christian Faulhammer2010-07-113-5/+18
* ppc stable #324811Gysbert Wassenaar2010-06-273-15/+8
* stable amd64, bug 324811Pacho Ramos2010-06-243-8/+11
* version bumpAlexis Ballier2010-05-193-6/+59
* version bumpAlexis Ballier2010-04-093-7/+60
* remove oldAlexis Ballier2009-09-201-3/+11
* remove oldAlexis Ballier2009-09-202-47/+4
* ppc stable #276249Gysbert Wassenaar2009-08-093-5/+8
* amd64 stable, bug 276249Jeremy Olexa2009-08-023-5/+8
* sparc stable wrt #276249Raúl Porcel2009-07-063-15/+8
* stable x86, bug 276249Christian Faulhammer2009-07-023-8/+11
* version bumpAlexis Ballier2009-05-233-5/+58
* punt oldAlexis Ballier2009-05-144-106/+16
* Sparc stable, Bug #260604.Ferris McCormick2009-05-143-5/+8
* stable ppc, bug 260604Brent Baude2009-03-183-15/+8
* amd64/x86 stable, bug #260604Markus Meier2009-03-083-8/+11
* version bumpAlexis Ballier2009-01-073-6/+59
* version bumpAlexis Ballier2008-10-163-5/+58
* keyword ~x86-fbsdAlexis Ballier2008-09-251-5/+5
* keyword ~x86-fbsdAlexis Ballier2008-09-252-3/+6
* remove oldAlexis Ballier2008-08-123-58/+15
* Stable on sparc, bug #234162Friedrich Oslage2008-08-093-15/+8
* amd64/x86 stable, bug #234162Markus Meier2008-08-083-5/+18
* Stable on ppc wrt bug 234162Gysbert Wassenaar2008-08-083-15/+8
* set eapi before inherit, as pointed out by Thomas AndersonAlexis Ballier2008-07-024-13/+17
* version bumpAlexis Ballier2008-07-023-2/+73
* sparc stable wrt #215736Raúl Porcel2008-04-083-15/+8
* amd64 stable, bug #215736Markus Meier2008-04-063-5/+18
* Stable on x86 wrt bug #215736Dawid Węgliński2008-04-063-5/+8
* stable ppc, bug 215742Brent Baude2008-04-033-15/+8
* remove oldAlexis Ballier2008-03-033-61/+8
* version bumpAlexis Ballier2008-02-233-2/+73
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-25/+0
* remove oldAlexis Ballier2008-01-184-58/+12
* version bumpAlexis Ballier2008-01-024-8/+78