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

	Commit message (Expand)	Author	Age	Files	Lines
*	Added math-proof herd as maintainer of this package instead of sci.	Alexandre Buisse	2006-07-01	1	-19/+29
*	Added math-proof herd as maintainer of this package instead of sci.	Alexandre Buisse	2006-07-01	2	-2/+6
*	Stable on SPARC.	Jason Wever	2006-05-03	1	-6/+39
*	Stable on SPARC.	Jason Wever	2006-05-03	4	-5/+18
*	Fix bad path of patch.	Matthieu Sozeau	2006-02-06	1	-2/+2
*	Fix bad path of patch.	Matthieu Sozeau	2006-02-06	3	-9/+12
*	Remove old version, incompatible with current ocaml and move current to stabl...	Matthieu Sozeau	2006-02-04	1	-4/+2
*	Remove old version, incompatible with current ocaml and move current to stabl...	Matthieu Sozeau	2006-02-04	4	-44/+7
*	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	7	-33/+37
*	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	5	-23/+16
*	Fixed ChangeLog header. (Manifest recommit)	Sven Wegener	2004-12-28	1	-4/+14
*	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	13	-0/+353