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

	Commit message (Expand)	Author	Age	Files	Lines
*	sci-mathematics/agda: drop USE=uhc	Sergei Trofimovich	2020-11-15	2	-8/+2
*	sci-mathematics/agda: drop old	Sergei Trofimovich	2020-10-08	4	-292/+0
*	sci-mathematics/agda: update homepage	Alexey Sokolov	2020-05-17	3	-6/+6
*	sci-mathematics/agda: allow multiple revisions of agda-stdlib	Sergei Trofimovich	2019-12-24	3	-3/+3
*	sci-mathematics/agda: allow edisoncore-1.3.2	Sergei Trofimovich	2019-12-23	1	-0/+150
*	sci-mathematics/agda: Update virtual/emacs dependency.	Ulrich Müller	2019-12-20	2	-4/+4
*	/: Inline mirror://hackage and update URIs	Michał Górny	2019-11-10	2	-4/+4
*	sci-mathematics: Update Manifest hashes.	Ulrich Müller	2017-12-10	1	-2/+2
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	2	-2/+0
*	sci-mathematics/agda: bump up to 2.5.2	Sergei Trofimovich	2017-02-16	3	-0/+151
*	sci-mathematics/agda: allow alex-3.2, bug #600034	Sergei Trofimovich	2016-11-18	1	-1/+2
*	sci-mathematics/agda: allow cpphs-1.20	Sergei Trofimovich	2016-09-11	1	-2/+3
*	sci-mathematics/agda: drop old	Sergei Trofimovich	2016-04-22	2	-247/+0
*	sci-mathematics/agda: allow transformers-compat-0.4	Sergei Trofimovich	2016-04-03	2	-14/+129
*	sci-mathematics/agda: drop unused local USE-description: 'epic'	Sergei Trofimovich	2016-04-03	1	-1/+0
*	sci-mathematics/agda: drop old	Sergei Trofimovich	2016-04-03	6	-609/+0
*	sci-mathematics/agda: fix hastables build failure, bu #574204	Sergei Trofimovich	2016-02-08	2	-0/+144
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-2/+2
*	Replace all herds with appropriate projects (GLEP 67)	Michał Górny	2016-01-24	1	-2/+8
*	Unify quoting in metadata.xml files for machine processing	Michał Górny	2016-01-24	1	-3/+3
*	sci-mathematics/{agda,agda-stdlib}: version bump	Jauhien Piatlicki	2016-01-13	2	-0/+117
*	sci-mathematics/agda: fix dev-haskell/cpphs dependency	Jauhien Piatlicki	2016-01-13	1	-0/+119
*	sci-mathematics/agda: fix .agdai file generation on install, bug #559326	Sergei Trofimovich	2015-09-27	1	-0/+119
*	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	7	-0/+412