summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* remove oldAlexis Ballier2015-06-183-74/+8
* version bumpAlexis Ballier2015-06-183-15/+79
* Stable for ppc, wrt bug #535126Agostino Sarubbo2015-06-113-18/+21
* Stable for x86, wrt bug #535126Agostino Sarubbo2015-05-273-18/+21
* Stable for amd64, wrt bug #535126Agostino Sarubbo2015-05-213-10/+23
* version bumpAlexis Ballier2014-10-233-5/+79
* update homepage and src_uriAlexis Ballier2014-10-233-10/+13
* remove oldAlexis Ballier2014-10-234-155/+11
* 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