summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* remove oldAlexis Ballier2011-01-241-5/+11
| | | | (Portage version: 2.2.0_alpha19/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-243-154/+5
| | | | (Portage version: 2.2.0_alpha19/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-241-7/+11
| | | | (Portage version: 2.2.0_alpha19/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-245-419/+6
| | | | (Portage version: 2.2.0_alpha19/cvs/Linux x86_64)
* ppc stable wrt #343751Kacper Kowalik2011-01-221-12/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
* ppc stable wrt #343751Kacper Kowalik2011-01-222-5/+8
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64)
* ppc64 stable wrt #349633Kacper Kowalik2011-01-221-2/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
* ppc64 stable wrt #349633Kacper Kowalik2011-01-222-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64)
* Stable for HPPA (bug #349633).Jeroen Roovers2011-01-211-2/+2
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux i686, unsigned Manifest commit)
* Stable for HPPA (bug #349633).Jeroen Roovers2011-01-212-3/+6
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux i686)
* remove oldAlexis Ballier2011-01-211-11/+5
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-214-127/+6
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-211-9/+5
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-213-94/+6
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* Fix pervasives conflict with ocaml 3.12Alexis Ballier2011-01-201-6/+7
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Fix pervasives conflict with ocaml 3.12Alexis Ballier2011-01-203-5/+93
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* version bumpAlexis Ballier2011-01-201-4/+6
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bumpAlexis Ballier2011-01-202-1/+50
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* ocamlopt is now optionalAlexis Ballier2011-01-201-4/+4
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* ocamlopt is now optionalAlexis Ballier2011-01-201-2/+2
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* version bumpAlexis Ballier2011-01-201-5/+7
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bumpAlexis Ballier2011-01-202-2/+48
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-201-3/+11
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-202-32/+4
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-201-5/+4
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-202-47/+4
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* Import a patch from upstream/debian to fix latest coq build failure, bug ↵Alexis Ballier2011-01-201-5/+7
| | | | | | #352174 by Thomas Kahle <tomka@gentoo.org> and Olivier Huber (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Import a patch from upstream/debian to fix latest coq build failure, bug ↵Alexis Ballier2011-01-203-2/+83
| | | | | | #352174 by Thomas Kahle <tomka@gentoo.org> and Olivier Huber (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-201-5/+11
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-01-203-89/+5
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* stable ppc, bug 349761Brent Baude2011-01-131-12/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
* stable ppc, bug 349761Brent Baude2011-01-132-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64)
* stable ppc, bug 349633Brent Baude2011-01-131-2/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
* stable ppc, bug 349633Brent Baude2011-01-132-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64)
* stable ppc, bug 349760Brent Baude2011-01-131-12/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
* stable ppc, bug 349760Brent Baude2011-01-132-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux ppc64)
* alpha/ia64/sparc stable wrt #349633Raúl Porcel2011-01-091-12/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux ia64, unsigned Manifest commit)
* alpha/ia64/sparc stable wrt #349633Raúl Porcel2011-01-092-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux ia64)
* Stable on amd64 wrt bug #349633Markos Chandras2011-01-051-5/+5
| | | | (Portage version: 2.1.9.28/cvs/Linux x86_64, signed Manifest commit with key 441AC410)
* Stable on amd64 wrt bug #349633Markos Chandras2011-01-052-5/+8
| | | | (Portage version: 2.1.9.28/cvs/Linux x86_64)
* Removed RESTRICT=mirror since there is no reason for itAndreas K. Hüttel2011-01-031-12/+2
| | | | (Portage version: 2.1.9.26/cvs/Linux i686, unsigned Manifest commit)
* Removed RESTRICT=mirror since there is no reason for itAndreas K. Hüttel2011-01-032-5/+7
| | | | (Portage version: 2.1.9.26/cvs/Linux i686)
* Stable on amd64 wrt bug #349761Markos Chandras2011-01-021-5/+5
| | | | (Portage version: 2.1.9.26/cvs/Linux x86_64, signed Manifest commit with key 441AC410)
* Stable on amd64 wrt bug #349761Markos Chandras2011-01-022-5/+8
| | | | (Portage version: 2.1.9.26/cvs/Linux x86_64)
* Stable on amd64 wrt bug #349760Markos Chandras2011-01-021-5/+5
| | | | (Portage version: 2.1.9.26/cvs/Linux x86_64, signed Manifest commit with key 441AC410)
* Stable on amd64 wrt bug #349760Markos Chandras2011-01-022-5/+8
| | | | (Portage version: 2.1.9.26/cvs/Linux x86_64)
* version bumpAlexis Ballier2011-01-011-4/+6
| | | | (Portage version: 2.2.0_alpha11/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bumpAlexis Ballier2011-01-012-2/+50
| | | | (Portage version: 2.2.0_alpha11/cvs/Linux x86_64)
* x86 stable per bug 349761Thomas Kahle2010-12-291-5/+5
| | | | (Portage version: 2.1.9.26/cvs/Linux i686, signed Manifest commit with key 0xF87C90D6)
* x86 stable per bug 349761Thomas Kahle2010-12-292-3/+6
| | | | (Portage version: 2.1.9.26/cvs/Linux i686)