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

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-lang/polyml: bump to 5.8	Tupone Alfredo	2019-04-06	3	-0/+60
*	dev-lang/polyml: Fix build with libffi3	Tupone Alfredo	2019-04-05	2	-1/+22
*	dev-lang/polyml: Adding me as a maintainer	Tupone Alfredo	2019-04-05	1	-0/+4
*	dev-lang/polyml: Fix build, sem_wait found on libpthread	Tupone Alfredo	2019-04-05	2	-1/+14
*	dev-lang/polyml: use HTTPs	Michael Mair-Keimberger	2018-06-07	5	-10/+10
*	dev-lang/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-5/+5
*	dev-lang/polyml: [QA] Consistent whitespace in metadata.xml	David Seifert	2017-11-26	1	-4/+3
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	5	-5/+0
*	dev-lang/polyml: Bump to 5.6	Mark Wright	2016-12-28	2	-0/+54
*	dev-lang/polyml: remove unused patch.	Michael Mair-Keimberger (asterix)	2016-10-10	1	-29/+0
*	sourceforge: switch to https:// URIs	Mike Frysinger	2016-07-27	4	-5/+5
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-1/+1
*	Replace all herds with appropriate projects (GLEP 67)	Michał Górny	2016-01-24	1	-1/+4
*	Revert DOCTYPE SYSTEM https changes in metadata.xml	Mike Gilbert	2015-08-24	1	-1/+1
*	Use https by default	Justin Lecher	2015-08-24	1	-1/+1
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	18	-0/+843