summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-121-12/+2
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-122-5/+8
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-121-12/+2
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-122-5/+8
* initial import, ebuild by meAlexis Ballier2011-02-041-0/+14
* initial import, ebuild by meAlexis Ballier2011-02-043-0/+40
* remove oldAlexis Ballier2011-01-241-6/+4
* remove oldAlexis Ballier2011-01-242-38/+4
* remove oldAlexis Ballier2011-01-241-5/+11
* remove oldAlexis Ballier2011-01-243-154/+5
* remove oldAlexis Ballier2011-01-241-7/+11
* remove oldAlexis Ballier2011-01-245-419/+6
* 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