summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* remove olAlexis Ballier2012-05-181-9/+5
* remove olAlexis Ballier2012-05-183-134/+5
* version bumpAlexis Ballier2012-03-091-4/+6
* version bumpAlexis Ballier2012-03-092-1/+73
* version bump, switch to strict mode since everything in the tree is now fine ...Alexis Ballier2012-03-011-4/+6
* version bump, switch to strict mode since everything in the tree is now fine ...Alexis Ballier2012-03-012-1/+74
* remove oldAlexis Ballier2012-02-231-4/+11
* remove oldAlexis Ballier2012-02-233-69/+5
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-221-12/+2
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-222-4/+7
* remove oldAlexis Ballier2012-01-161-6/+4
* remove oldAlexis Ballier2012-01-162-67/+4
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-161-5/+5
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-162-3/+6
* version bumpAlexis Ballier2012-01-101-5/+7
* version bumpAlexis Ballier2012-01-102-2/+73
* Drop sparc keywordsRaúl Porcel2011-12-181-8/+8
* Drop sparc keywordsRaúl Porcel2011-12-184-8/+12
* version bumpAlexis Ballier2011-11-301-6/+8
* version bumpAlexis Ballier2011-11-302-1/+72
* x86 stable wrt bug #383825Paweł Hajdan2011-10-011-2/+12
* x86 stable wrt bug #383825Paweł Hajdan2011-10-012-3/+6
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug...Tony Vroon2011-09-201-12/+2
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug...Tony Vroon2011-09-202-3/+7
* remove oldAlexis Ballier2011-07-061-12/+4
* remove oldAlexis Ballier2011-07-064-140/+6
* version bumpAlexis Ballier2011-06-261-4/+6
* version bumpAlexis Ballier2011-06-262-1/+72
* 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-201-5/+7
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-203-2/+83
* remove oldAlexis Ballier2010-12-241-8/+4
* remove oldAlexis Ballier2010-12-243-93/+5
* version bumpAlexis Ballier2010-12-071-4/+6
* version bumpAlexis Ballier2010-12-072-1/+52
* version bumpAlexis Ballier2010-11-181-4/+6
* version bumpAlexis Ballier2010-11-182-1/+52
* remove oldAlexis Ballier2010-09-291-5/+11
* remove oldAlexis Ballier2010-09-293-93/+5
* sparc stable wrt #324811Raúl Porcel2010-09-181-12/+2
* sparc stable wrt #324811Raúl Porcel2010-09-182-3/+6
* version bumpAlexis Ballier2010-08-101-4/+6
* version bumpAlexis Ballier2010-08-102-1/+52
* fix build with ocaml 3.12Alexis Ballier2010-08-031-6/+7
* fix build with ocaml 3.12Alexis Ballier2010-08-033-2/+28
* stable x86, bug 324811Christian Faulhammer2010-07-111-2/+12
* stable x86, bug 324811Christian Faulhammer2010-07-112-3/+6