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

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove the static-libs use flag, as upstream do not support static in a way t...	Mark Wright	2012-12-05	1	-5/+5
*	Remove the static-libs use flag, as upstream do not support static in a way t...	Mark Wright	2012-12-05	2	-16/+22
*	Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk...	Mark Wright	2012-11-29	1	-9/+9
*	Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk...	Mark Wright	2012-11-29	2	-6/+9
*	Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.	Mark Wright	2012-06-01	1	-18/+8
*	Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.	Mark Wright	2012-06-01	3	-6/+21
*	Remove spurious comment from site-init file for Emacs.	Ulrich Müller	2012-05-31	1	-7/+17
*	Remove spurious comment from site-init file for Emacs.	Ulrich Müller	2012-05-31	2	-3/+4
*	Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.	Mark Wright	2012-05-30	1	-0/+15
*	Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.	Mark Wright	2012-05-30	4	-0/+201