summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* ppc stable wrt #343751Kacper Kowalik2011-01-221-12/+2
* ppc stable wrt #343751Kacper Kowalik2011-01-222-5/+8
* ppc64 stable wrt #349633Kacper Kowalik2011-01-221-2/+2
* ppc64 stable wrt #349633Kacper Kowalik2011-01-222-3/+6
* Stable for HPPA (bug #349633).Jeroen Roovers2011-01-211-2/+2
* Stable for HPPA (bug #349633).Jeroen Roovers2011-01-212-3/+6
* remove oldAlexis Ballier2011-01-211-11/+5
* remove oldAlexis Ballier2011-01-214-127/+6
* remove oldAlexis Ballier2011-01-211-9/+5
* remove oldAlexis Ballier2011-01-213-94/+6
* Fix pervasives conflict with ocaml 3.12Alexis Ballier2011-01-201-6/+7
* Fix pervasives conflict with ocaml 3.12Alexis Ballier2011-01-203-5/+93
* version bumpAlexis Ballier2011-01-201-4/+6
* version bumpAlexis Ballier2011-01-202-1/+50
* ocamlopt is now optionalAlexis Ballier2011-01-201-4/+4
* ocamlopt is now optionalAlexis Ballier2011-01-201-2/+2
* version bumpAlexis Ballier2011-01-201-5/+7
* version bumpAlexis Ballier2011-01-202-2/+48
* remove oldAlexis Ballier2011-01-201-3/+11
* remove oldAlexis Ballier2011-01-202-32/+4
* 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 Ballier2011-01-201-5/+11
* remove oldAlexis Ballier2011-01-203-89/+5
* stable ppc, bug 349761Brent Baude2011-01-131-12/+2
* stable ppc, bug 349761Brent Baude2011-01-132-3/+6
* stable ppc, bug 349633Brent Baude2011-01-131-2/+2
* stable ppc, bug 349633Brent Baude2011-01-132-3/+6
* stable ppc, bug 349760Brent Baude2011-01-131-12/+2
* stable ppc, bug 349760Brent Baude2011-01-132-3/+6
* alpha/ia64/sparc stable wrt #349633Raúl Porcel2011-01-091-12/+2
* alpha/ia64/sparc stable wrt #349633Raúl Porcel2011-01-092-3/+6
* Stable on amd64 wrt bug #349633Markos Chandras2011-01-051-5/+5
* Stable on amd64 wrt bug #349633Markos Chandras2011-01-052-5/+8
* Removed RESTRICT=mirror since there is no reason for itAndreas K. Hüttel2011-01-031-12/+2
* Removed RESTRICT=mirror since there is no reason for itAndreas K. Hüttel2011-01-032-5/+7
* Stable on amd64 wrt bug #349761Markos Chandras2011-01-021-5/+5
* Stable on amd64 wrt bug #349761Markos Chandras2011-01-022-5/+8
* Stable on amd64 wrt bug #349760Markos Chandras2011-01-021-5/+5
* Stable on amd64 wrt bug #349760Markos Chandras2011-01-022-5/+8
* version bumpAlexis Ballier2011-01-011-4/+6
* version bumpAlexis Ballier2011-01-012-2/+50
* x86 stable per bug 349761Thomas Kahle2010-12-291-5/+5
* x86 stable per bug 349761Thomas Kahle2010-12-292-3/+6
* x86 stable per bug 349760Thomas Kahle2010-12-291-5/+5
* x86 stable per bug 349760Thomas Kahle2010-12-292-3/+6
* x86 stable per bug 349633Thomas Kahle2010-12-291-2/+12
* x86 stable per bug 349633Thomas Kahle2010-12-292-3/+6