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

	Commit message (Expand)	Author	Age	Files	Lines
*	quote directory variables	Alexis Ballier	2007-10-20	1	-1/+5
*	remove old versions	Alexis Ballier	2007-10-20	1	-1/+6
*	version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)	Alexis Ballier	2007-10-20	1	-1/+6
*	fix configure call when ide and norealanalysis useflags are set, bug #195483	Alexis Ballier	2007-10-11	1	-1/+4
*	Version bump (see bug #192522).	Markus Dittrich	2007-09-29	1	-2/+8
*	Removing mattam from metadata due to his retirement (see #30021 for reference).	Christian Heim	2007-08-30	1	-1/+4
*	Reassigning to sci from math-proof (see #138059 for reference).	Christian Heim	2007-07-31	1	-1/+4
*	(QA) RESTRICT clean up.	Piotr Jaroszyński	2007-07-02	1	-1/+5
*	Redigest for Manifest2	Markus Ullmann	2007-02-22	1	-2/+5
*	sci-mathematics/coq stable on ppc.	Michael Hanselmann	2006-09-24	1	-1/+4
*	Stable on sparc	Gustavo Zacarias	2006-09-15	1	-1/+4
*	Mark stable on x86, ppc and amd64	Matthieu Sozeau	2006-09-14	1	-1/+7
*	Added math-proof herd as maintainer of this package instead of sci.	Alexandre Buisse	2006-07-01	1	-1/+5
*	Stable on SPARC.	Jason Wever	2006-05-03	1	-1/+4
*	Fix bad path of patch.	Matthieu Sozeau	2006-02-06	1	-1/+4
*	Remove old version, incompatible with current ocaml and move current to stabl...	Matthieu Sozeau	2006-02-04	1	-1/+5
*	Added latest version, compatible with ocaml-3.09	Matthieu Sozeau	2006-02-04	1	-2/+8
*	added ~amd64 to KEYWORDS, fixes #88950	Jan Brinkmann	2005-04-13	1	-2/+5
*	Fixed ChangeLog header.	Sven Wegener	2004-12-28	1	-2/+2
*	Moved from app-sci/coq to sci-mathematics/coq.	Olivier Fisette	2004-12-28	1	-0/+49