summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* version bumpAlexis Ballier2015-07-301-1/+6
* remove oldAlexis Ballier2015-06-181-1/+4
* version bumpAlexis Ballier2015-06-181-1/+6
* Stable for ppc, wrt bug #535126Agostino Sarubbo2015-06-111-1/+4
* Stable for x86, wrt bug #535126Agostino Sarubbo2015-05-271-1/+4
* Stable for amd64, wrt bug #535126Agostino Sarubbo2015-05-211-2/+5
* version bumpAlexis Ballier2014-10-231-1/+6
* update homepage and src_uriAlexis Ballier2014-10-231-1/+4
* remove oldAlexis Ballier2014-10-231-2/+6
* Stable for x86, wrt bug #492048Agostino Sarubbo2013-12-241-1/+4
* Stable for amd64 wrt bug #492048José María Alonso2013-12-221-1/+4
* Stable for ppc, wrt bug #492048Agostino Sarubbo2013-12-211-1/+4
* Stable for x86, wrt bug #481230Agostino Sarubbo2013-08-281-1/+4
* Stable for ppc, wrt bug #481230Agostino Sarubbo2013-08-261-1/+4
* Stable for amd64, wrt bug #481230Agostino Sarubbo2013-08-171-2/+4
* version bumpAlexis Ballier2013-08-151-1/+6
* remove oldAlexis Ballier2013-03-031-1/+5
* 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