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

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-ml/extlib: Version bump (v1.7.6)	Mikle Kolyada	2019-12-29	2	-0/+51
*	/: Remove ml@ from packages maintainers	Michał Górny	2019-12-13	1	-4/+1
*	dev-ml/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-2/+2
*	dev-ml/extlib: keyword ~arm64	Alexis Ballier	2017-06-22	1	-1/+1
*	dev-ml/extlib: add ~arm, bug #611014	Markus Meier	2017-04-05	1	-1/+1
*	dev-ml/extlib: bump to 1.7.2	Alexis Ballier	2017-04-01	2	-0/+48
*	dev-ml/extlib: Fix build with ocaml 4.05	Alexis Ballier	2017-03-27	2	-0/+39
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	dev-ml/extlib: remove old	Alexis Ballier	2017-02-23	2	-43/+0
*	dev-ml/extlib: ppc stable (bug 586910).	Michael Weber	2017-02-23	1	-1/+1
*	dev-ml/extlib: Add ~ppc keyword (bug 586910).	Michael Weber	2017-02-23	1	-1/+1
*	dev-ml/extlib: x86 stable wrt bug #586910	Agostino Sarubbo	2017-02-16	1	-1/+1
*	dev-ml/extlib: amd64 stable wrt bug #586910	Agostino Sarubbo	2017-02-16	1	-2/+2
*	dev-ml/extlib: remove old	Alexis Ballier	2017-01-24	3	-89/+0
*	dev-ml/extlib: bump to 1.7.1	Alexis Ballier	2016-11-15	2	-0/+49
*	dev-ml/extlib: Drop non-camlp4 support, #586910	Michał Górny	2016-06-29	1	-2/+2
*	Revert "dev-ml/*: Remove := slot ops from \|\| deps, #586304"	Alexis Ballier	2016-06-23	1	-2/+2
*	dev-ml/*: Remove := slot ops from \|\| deps, #586304	Michał Górny	2016-06-21	1	-2/+2
*	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
*	dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo.	Alexis Ballier	2015-09-19	1	-2/+2
*	Add remote-id	Justin Lecher	2015-09-16	1	-0/+1
*	dev-ml/extlib: bump to 1.7.0 and switch to github.	Alexis Ballier	2015-09-14	2	-0/+49
*	Revert DOCTYPE SYSTEM https changes in metadata.xml	Mike Gilbert	2015-08-24	1	-1/+1
*	Convert URIs for googlecode.com to https	Justin Lecher	2015-08-24	2	-2/+2
*	Enable https for all google URIs	Justin Lecher	2015-08-24	2	-2/+2
*	Use https by default	Justin Lecher	2015-08-24	1	-1/+1
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	4	-0/+91