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

	Commit message (Expand)	Author	Age	Files	Lines
*	whitespace	Michael Sterrett	2008-01-03	2	-16/+5
*	Add support for building without ocamlopt, import smimou's patches from debia...	Alexis Ballier	2008-01-03	6	-23/+101
*	fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in...	Alexis Ballier	2007-12-19	4	-20/+25
*	no need to dodoc the license	Alexis Ballier	2007-12-17	5	-26/+30
*	version bump	Alexis Ballier	2007-12-17	4	-8/+90
*	quote directory variables	Alexis Ballier	2007-10-20	4	-25/+29
*	remove old versions	Alexis Ballier	2007-10-20	7	-182/+13
*	version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though)	Alexis Ballier	2007-10-20	4	-8/+90
*	fix configure call when ide and norealanalysis useflags are set, bug #195483	Alexis Ballier	2007-10-11	3	-11/+24
*	Version bump (see bug #192522).	Markus Dittrich	2007-09-29	4	-16/+88
*	Removing mattam from metadata due to his retirement (see #30021 for reference).	Christian Heim	2007-08-30	3	-16/+16
*	Reassigning to sci from math-proof (see #138059 for reference).	Christian Heim	2007-07-31	1	-12/+12
*	Reassigning to sci from math-proof (see #138059 for reference).	Christian Heim	2007-07-31	2	-2/+5
*	(QA) RESTRICT clean up.	Piotr Jaroszyński	2007-07-02	1	-16/+16
*	(QA) RESTRICT clean up.	Piotr Jaroszyński	2007-07-02	3	-7/+11
*	Redigest for Manifest2	Markus Ullmann	2007-02-22	1	-8/+18
*	Redigest for Manifest2	Markus Ullmann	2007-02-22	1	-2/+5
*	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