summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* version bumpAlexis Ballier2015-07-301-4/+6
* remove oldAlexis Ballier2015-06-181-6/+4
* version bumpAlexis Ballier2015-06-181-14/+6
* Stable for ppc, wrt bug #535126Agostino Sarubbo2015-06-111-15/+15
* Stable for x86, wrt bug #535126Agostino Sarubbo2015-05-271-15/+15
* Stable for amd64, wrt bug #535126Agostino Sarubbo2015-05-211-5/+15
* version bumpAlexis Ballier2014-10-231-4/+6
* update homepage and src_uriAlexis Ballier2014-10-231-5/+5
* remove oldAlexis Ballier2014-10-231-20/+5
* Stable for x86, wrt bug #492048Agostino Sarubbo2013-12-241-9/+15
* Stable for amd64 wrt bug #492048José María Alonso2013-12-221-16/+10
* Stable for ppc, wrt bug #492048Agostino Sarubbo2013-12-211-16/+16
* Stable for x86, wrt bug #481230Agostino Sarubbo2013-08-281-15/+15
* Stable for ppc, wrt bug #481230Agostino Sarubbo2013-08-261-15/+15
* Stable for amd64, wrt bug #481230Agostino Sarubbo2013-08-171-6/+16
* version bumpAlexis Ballier2013-08-151-5/+7
* remove oldAlexis Ballier2013-03-031-8/+4
* eapi 5, add subslot and := dep on ocamlAlexis Ballier2013-02-071-5/+5
* version bumpAlexis Ballier2012-10-091-1/+14
* Change manifest to new hashes.Jeff Horelick2012-07-051-18/+8
* version bumpAlexis Ballier2012-06-051-4/+6
* remove olAlexis Ballier2012-05-181-9/+5
* version bumpAlexis Ballier2012-03-091-4/+6
* version bump, switch to strict mode since everything in the tree is now fine ...Alexis Ballier2012-03-011-4/+6
* remove oldAlexis Ballier2012-02-231-4/+11
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-221-12/+2
* remove oldAlexis Ballier2012-01-161-6/+4
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-161-5/+5
* version bumpAlexis Ballier2012-01-101-5/+7
* Drop sparc keywordsRaúl Porcel2011-12-181-8/+8
* version bumpAlexis Ballier2011-11-301-6/+8
* x86 stable wrt bug #383825Paweł Hajdan2011-10-011-2/+12
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug...Tony Vroon2011-09-201-12/+2
* remove oldAlexis Ballier2011-07-061-12/+4
* version bumpAlexis Ballier2011-06-261-4/+6
* version bumpAlexis Ballier2011-04-191-4/+9
* remove oldAlexis Ballier2011-01-201-5/+4
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-201-5/+7
* remove oldAlexis Ballier2010-12-241-8/+4
* version bumpAlexis Ballier2010-12-071-4/+6
* version bumpAlexis Ballier2010-11-181-4/+6
* remove oldAlexis Ballier2010-09-291-5/+11
* sparc stable wrt #324811Raúl Porcel2010-09-181-12/+2
* version bumpAlexis Ballier2010-08-101-4/+6
* fix build with ocaml 3.12Alexis Ballier2010-08-031-6/+7
* stable x86, bug 324811Christian Faulhammer2010-07-111-2/+12
* ppc stable #324811Gysbert Wassenaar2010-06-271-12/+2
* stable amd64, bug 324811Pacho Ramos2010-06-241-5/+5
* version bumpAlexis Ballier2010-05-191-5/+7
* version bumpAlexis Ballier2010-04-091-5/+7