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: drop 5.6	Sam James	2021-03-16	2	-60/+0
*	dev-lang/polyml: use dev-libs/libffi instead of virtual/libffi	Sergei Trofimovich	2020-11-16	2	-4/+4
*	dev-lang/polyml: remove unused patches	Michael Mair-Keimberger	2020-09-27	11	-555/+0
*	dev-lang/polyml: drop old EAPI=5	Aaron Bauman	2020-09-24	5	-244/+0
*	/: [QA] Remove redundant <longdescription/>s	Michał Górny	2020-09-14	1	-3/+0
*	/: Remove ml@ from packages maintainers	Michał Górny	2019-12-13	1	-4/+1
*	/: [QA] Remove redundant `\|\| die` guards	David Seifert	2019-12-11	6	-6/+6
*	/: [QA] Fix trivial cases of MissingTestRestrict	Michał Górny	2019-12-11	6	-4/+10
*	dev-lang/polyml: removing me from maintainer	Tupone Alfredo	2019-10-21	1	-4/+0
*	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