summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* eapi 5, add subslot and := dep on ocamlAlexis Ballier2013-02-071-2/+5
* version bumpAlexis Ballier2012-10-091-1/+6
* version bumpAlexis Ballier2012-06-051-1/+6
* remove olAlexis Ballier2012-05-181-1/+5
* version bumpAlexis Ballier2012-03-091-1/+6
* version bump, switch to strict mode since everything in the tree is now fine ...Alexis Ballier2012-03-011-1/+7
* remove oldAlexis Ballier2012-02-231-1/+5
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-221-1/+4
* remove oldAlexis Ballier2012-01-161-1/+4
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-161-1/+4
* version bumpAlexis Ballier2012-01-101-2/+7
* Drop sparc keywordsRaúl Porcel2011-12-181-1/+5
* version bumpAlexis Ballier2011-11-301-1/+6
* x86 stable wrt bug #383825Paweł Hajdan2011-10-011-1/+4
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug...Tony Vroon2011-09-201-1/+5
* remove oldAlexis Ballier2011-07-061-1/+6
* version bumpAlexis Ballier2011-06-261-1/+6
* version bumpAlexis Ballier2011-04-191-1/+6
* remove oldAlexis Ballier2011-01-201-1/+4
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-201-2/+10
* remove oldAlexis Ballier2010-12-241-1/+5
* version bumpAlexis Ballier2010-12-071-1/+6
* version bumpAlexis Ballier2010-11-181-1/+6
* remove oldAlexis Ballier2010-09-291-1/+5
* sparc stable wrt #324811Raúl Porcel2010-09-181-1/+4
* version bumpAlexis Ballier2010-08-101-1/+6
* fix build with ocaml 3.12Alexis Ballier2010-08-031-1/+5
* stable x86, bug 324811Christian Faulhammer2010-07-111-1/+4
* ppc stable #324811Gysbert Wassenaar2010-06-271-1/+4
* stable amd64, bug 324811Pacho Ramos2010-06-241-1/+4
* version bumpAlexis Ballier2010-05-191-1/+6
* version bumpAlexis Ballier2010-04-091-2/+7
* remove oldAlexis Ballier2009-09-201-1/+4
* ppc stable #276249Gysbert Wassenaar2009-08-091-1/+4
* amd64 stable, bug 276249Jeremy Olexa2009-08-021-1/+4
* sparc stable wrt #276249Raúl Porcel2009-07-061-1/+4
* stable x86, bug 276249Christian Faulhammer2009-07-021-1/+4
* version bumpAlexis Ballier2009-05-231-1/+6
* punt oldAlexis Ballier2009-05-141-1/+5
* Sparc stable, Bug #260604.Ferris McCormick2009-05-141-1/+4
* stable ppc, bug 260604Brent Baude2009-03-181-1/+4
* amd64/x86 stable, bug #260604Markus Meier2009-03-081-1/+4
* version bumpAlexis Ballier2009-01-071-2/+7
* version bumpAlexis Ballier2008-10-161-1/+6
* keyword ~x86-fbsdAlexis Ballier2008-09-251-1/+4
* remove oldAlexis Ballier2008-08-121-1/+4
* Stable on sparc, bug #234162Friedrich Oslage2008-08-091-1/+4
* amd64/x86 stable, bug #234162Markus Meier2008-08-081-1/+4
* Stable on ppc wrt bug 234162Gysbert Wassenaar2008-08-081-1/+4
* set eapi before inherit, as pointed out by Thomas AndersonAlexis Ballier2008-07-021-1/+5