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

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-ml/lambda-term: fix dep on lwt	Alfredo Tupone	2022-09-09	1	-2/+2
*	**/metadata.xml: Replace http by https in DOCTYPE element	Ulrich Müller	2022-01-25	1	-1/+1
*	dev-ml/lambda-term: new package; add version 3.1.0	Maciej Barć	2021-12-08	3	-0/+48
*	dev-ml/*: Remove first set of unneeded leaf packages	Michał Górny	2020-01-14	4	-50/+0
*	/: 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	-1/+1
*	dev-ml/lambda-term: udpate to opam.eclass	Alexis Ballier	2017-09-22	1	-11/+2
*	dev-ml/lambda-term: remove old	Alexis Ballier	2017-04-20	2	-28/+0
*	dev-ml/lambda-term: bump to 1.11	Alexis Ballier	2017-04-12	3	-0/+51
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	dev-ml/lambda-term: bump dev-ml/react dep, bug #582970	Alexis Ballier	2016-10-10	1	-1/+1
*	dev-ml/lambda-term: remove old	Alexis Ballier	2016-10-10	3	-58/+0
*	dev-ml/lambda-term: bump to 1.10.1	Alexis Ballier	2016-08-16	2	-0/+29
*	dev-ml/lambda-term: bump to 1.10	Alexis Ballier	2016-04-09	2	-0/+29
*	dev-ml/lambda-term: remove old	Alexis Ballier	2016-02-07	2	-29/+0
*	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	4	-0/+66