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

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-lang/maude: add 3.1	Marek Szuba	2021-07-21	3	-0/+91
*	dev-lang/maude: Depend on dev-libs/gmp[cxx(+)]	David Seifert	2021-06-18	1	-1/+1
*	dev-lang/maude: fix build with GCC 11	Sam James	2021-06-15	2	-1/+62
*	dev-lang/maude: respect AR	Jakov Smolic	2020-11-17	2	-1/+12
*	dev-lang/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-2/+2
*	dev-lang/maude: [QA] Consistent whitespace in metadata.xml	David Seifert	2017-11-26	1	-12/+12
*	dev-lang/maude: remove unused patch	Michael Mair-Keimberger (asterix)	2017-08-13	1	-25/+0
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	1	-1/+0
*	dev-lang/maude: Remove old ebuild	David Seifert	2016-10-08	2	-65/+0
*	dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7	David Seifert	2016-10-08	1	-9/+8
*	dev-lang/maude: Version bump to 2.7	David Seifert	2016-02-11	3	-0/+99
*	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	2	-2/+2
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	6	-0/+165