archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove old version with unsatisfied dependencies	Patrick Lauer	2015-01-30	1	-12/+1
*	Remove old version with unsatisfied dependencies	Patrick Lauer	2015-01-30	2	-34/+6
*	agda-executable must be rebuilt when agda is upgraded	Mark Wright	2013-09-13	1	-1/+12
*	agda-executable must be rebuilt when agda is upgraded	Mark Wright	2013-09-13	2	-1/+42
*	Remove version with already removed dependencies	Patrick Lauer	2013-06-20	1	-13/+1
*	Remove version with already removed dependencies	Patrick Lauer	2013-06-20	2	-34/+5
*	Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2	Mark Wright	2012-11-18	1	-2/+13
*	Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2	Mark Wright	2012-11-18	2	-1/+43
*	move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m...	Alexander Vershilov	2012-09-12	1	-16/+6
*	move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m...	Alexander Vershilov	2012-09-12	3	-6/+10
*	Add agda-executable, Command-line program for type-checking and compiling Agd...	Mark Wright	2012-03-25	1	-0/+16
*	Add agda-executable, Command-line program for type-checking and compiling Agd...	Mark Wright	2012-03-25	4	-0/+89