repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-2/+2
*	sci-mathematics/z3: remove unused patch	Michael Mair-Keimberger (asterix)	2017-08-13	1	-76/+0
*	Globally add missing remote ID references to metadata.xml	Justin Lecher	2017-04-29	1	-6/+9
*	sci-mathematics/z3: Use echo instead of elog.	Mark Wright	2017-04-26	2	-3/+3
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	2	-2/+0
*	sci-mathematics/z3: workaround configure failure on non-ASCII	Sergei Trofimovich	2017-02-16	1	-2/+7
*	sci-mathematics/z3: Fix examples install directory.	Mark Wright	2017-01-28	2	-2/+2
*	sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.	Mark Wright	2017-01-28	2	-13/+75
*	sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.	Mark Wright	2017-01-03	2	-6/+9
*	sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster	Mark Wright	2017-01-03	1	-5/+3
*	sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development	Mark Wright	2017-01-02	6	-0/+416