archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	Redigest for Manifest2	Markus Ullmann	2007-02-22	1	-8/+18
*	sci-mathematics/coq stable on ppc.	Michael Hanselmann	2006-09-24	1	-18/+8
*	Stable on sparc	Gustavo Zacarias	2006-09-15	1	-8/+18
*	Mark stable on x86, ppc and amd64	Matthieu Sozeau	2006-09-14	1	-19/+9
*	Added math-proof herd as maintainer of this package instead of sci.	Alexandre Buisse	2006-07-01	1	-19/+29
*	Stable on SPARC.	Jason Wever	2006-05-03	1	-6/+39
*	Fix bad path of patch.	Matthieu Sozeau	2006-02-06	1	-2/+2
*	Fix bad path of patch.	Matthieu Sozeau	2006-02-06	1	-6/+6
*	Remove old version, incompatible with current ocaml and move current to stabl...	Matthieu Sozeau	2006-02-04	1	-4/+2
*	Added latest version, compatible with ocaml-3.09	Matthieu Sozeau	2006-02-04	1	-4/+4
*	Added latest version, compatible with ocaml-3.09	Matthieu Sozeau	2006-02-04	1	-15/+5
*	added ~amd64 to KEYWORDS, fixes #88950	Jan Brinkmann	2005-04-13	1	-4/+14
*	added ~amd64 to KEYWORDS, fixes #88950	Jan Brinkmann	2005-04-13	1	-14/+4
*	Fixed ChangeLog header. (Manifest recommit)	Sven Wegener	2004-12-28	1	-4/+14
*	Moved from app-sci/coq to sci-mathematics/coq.	Olivier Fisette	2004-12-28	1	-0/+12