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

	Commit message (Expand)	Author	Age	Files	Lines
*	EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...	Mark Wright	2012-12-05	1	-5/+5
*	EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...	Mark Wright	2012-12-05	2	-9/+13
*	Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z sho...	Mark Wright	2012-10-22	1	-6/+5
*	Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z sho...	Mark Wright	2012-10-22	2	-3/+7
*	sci-mathematics/spass: Clean residuals from another fix solution	Justin Lecher	2012-08-10	1	-5/+5
*	sci-mathematics/spass: Clean residuals from another fix solution	Justin Lecher	2012-08-10	2	-3/+5
*	sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples	Justin Lecher	2012-08-10	1	-10/+7
*	sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples	Justin Lecher	2012-08-10	3	-24/+29
*	Fix metadata.	Diego Elio Pettenò	2012-08-10	1	-8/+12
*	Fix metadata.	Diego Elio Pettenò	2012-08-10	2	-3/+5
*	Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...	Mark Wright	2012-05-30	1	-0/+14
*	Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...	Mark Wright	2012-05-30	3	-0/+105