summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-122-24/+4
* Marked ~ppc wrt #322673Kacper Kowalik2011-02-124-10/+16
* initial import, ebuild by meAlexis Ballier2011-02-044-0/+54
* remove oldAlexis Ballier2011-01-243-18/+26
* remove oldAlexis Ballier2011-01-2410-611/+15
* ppc stable wrt #343751Kacper Kowalik2011-01-222-5/+8
* ppc64 stable wrt #349633Kacper Kowalik2011-01-224-17/+10
* Stable for HPPA (bug #349633).Jeroen Roovers2011-01-213-5/+8
* remove oldAlexis Ballier2011-01-212-20/+10
* remove oldAlexis Ballier2011-01-217-221/+12
* Fix pervasives conflict with ocaml 3.12Alexis Ballier2011-01-204-11/+100
* version bumpAlexis Ballier2011-01-203-5/+56
* ocamlopt is now optionalAlexis Ballier2011-01-202-6/+6
* version bumpAlexis Ballier2011-01-203-7/+55
* remove oldAlexis Ballier2011-01-202-8/+15
* remove oldAlexis Ballier2011-01-204-79/+8
* Import a patch from upstream/debian to fix latest coq build failure, bug #352...Alexis Ballier2011-01-204-7/+90
* remove oldAlexis Ballier2011-01-204-94/+16
* stable ppc, bug 349761Brent Baude2011-01-133-15/+8
* stable ppc, bug 349633Brent Baude2011-01-133-5/+8
* stable ppc, bug 349760Brent Baude2011-01-133-15/+8
* alpha/ia64/sparc stable wrt #349633Raúl Porcel2011-01-093-15/+8
* Stable on amd64 wrt bug #349633Markos Chandras2011-01-053-10/+13
* Removed RESTRICT=mirror since there is no reason for itAndreas Hüttel2011-01-033-17/+9
* Stable on amd64 wrt bug #349761Markos Chandras2011-01-023-10/+13
* Stable on amd64 wrt bug #349760Markos Chandras2011-01-023-10/+13
* version bumpAlexis Ballier2011-01-013-6/+56
* x86 stable per bug 349761Thomas Kahle2010-12-293-8/+11
* x86 stable per bug 349760Thomas Kahle2010-12-293-8/+11
* x86 stable per bug 349633Thomas Kahle2010-12-293-5/+18
* version bumpAlexis Ballier2010-12-254-6/+67
* remove oldAlexis Ballier2010-12-242-14/+8
* remove oldAlexis Ballier2010-12-246-145/+9
* remove oldAlexis Ballier2010-12-244-101/+9
* version bumpAlexis Ballier2010-12-233-5/+37
* version bumpAlexis Ballier2010-12-233-5/+59
* version bumpAlexis Ballier2010-12-233-5/+84
* version bumpAlexis Ballier2010-12-163-6/+57
* version bumpAlexis Ballier2010-12-163-5/+55
* Fix dep on gnome-panel[bonobo], bug #348162 by Pacho Ramos <pacho@gentoo.org>Alexis Ballier2010-12-093-6/+22
* version bumpAlexis Ballier2010-12-073-5/+58
* alpha/ia64/sparc stable wrt #343751Raúl Porcel2010-12-042-24/+4
* alpha/ia64/sparc stable wrt #343751Raúl Porcel2010-12-044-6/+12
* Stable on amd64 wrt bug #344435Markos Chandras2010-11-282-10/+10
* Stable on amd64 wrt bug #344435Markos Chandras2010-11-284-6/+12
* version bumpAlexis Ballier2010-11-243-5/+84
* version bumpAlexis Ballier2010-11-183-5/+58
* version bumpAlexis Ballier2010-11-163-6/+76
* x86 stable per bug #344435Thomas Kahle2010-11-152-4/+24
* x86 stable per bug #344435Thomas Kahle2010-11-154-6/+12