summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Stable for x86, wrt bug #492048Agostino Sarubbo2013-12-243-12/+21
* Stable for amd64 wrt bug #492048José María Alonso2013-12-223-19/+16
* Stable for ppc, wrt bug #492048Agostino Sarubbo2013-12-213-19/+22
* Stable for x86, wrt bug #481230Agostino Sarubbo2013-08-283-18/+21
* Stable for ppc, wrt bug #481230Agostino Sarubbo2013-08-263-18/+21
* Stable for amd64, wrt bug #481230Agostino Sarubbo2013-08-173-10/+22
* version bumpAlexis Ballier2013-08-153-6/+80
* remove oldAlexis Ballier2013-03-034-143/+9
* eapi 5, add subslot and := dep on ocamlAlexis Ballier2013-02-073-17/+20
* version bumpAlexis Ballier2012-10-093-2/+87
* Change manifest to new hashes.Jeff Horelick2012-07-051-18/+8
* version bumpAlexis Ballier2012-06-053-5/+79
* remove olAlexis Ballier2012-05-184-143/+10
* version bumpAlexis Ballier2012-03-093-5/+79
* version bump, switch to strict mode since everything in the tree is now fine ...Alexis Ballier2012-03-013-5/+80
* remove oldAlexis Ballier2012-02-234-73/+16
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-223-16/+9
* remove oldAlexis Ballier2012-01-163-73/+8
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-163-8/+11
* version bumpAlexis Ballier2012-01-101-5/+7
* version bumpAlexis Ballier2012-01-102-2/+73
* Drop sparc keywordsRaúl Porcel2011-12-185-16/+20
* version bumpAlexis Ballier2011-11-303-7/+80
* x86 stable wrt bug #383825Paweł Hajdan2011-10-013-5/+18
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug...Tony Vroon2011-09-203-15/+9
* 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