repo/gentoo/historical.git - Gentoo ebuild repository HISTORICAL read-only tree

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/coq stable on ppc.	Michael Hanselmann	2006-09-24	3	-21/+14
*	Stable on sparc	Gustavo Zacarias	2006-09-15	3	-11/+24
*	Mark stable on x86, ppc and amd64	Matthieu Sozeau	2006-09-14	3	-22/+18
*	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	5	-11/+57
*	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	5	-48/+9
*	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	5	-17/+20
*	Fixed ChangeLog header.	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