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

	Commit message (Expand)	Author	Age	Files	Lines
*	Bump agda-stdlib to 0.8	Mark Wright	2014-07-02	1	-5/+7
*	Bump agda-stdlib to 0.8	Mark Wright	2014-07-02	3	-2/+78
*	Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...	Mark Wright	2013-12-10	1	-9/+6
*	Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...	Mark Wright	2013-12-10	3	-65/+38
*	Bump agda-stdlib to 0.7	Mark Wright	2013-09-13	1	-5/+7
*	Bump agda-stdlib to 0.7	Mark Wright	2013-09-13	2	-1/+65
*	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --...	Mark Wright	2013-01-10	1	-6/+8
*	Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --...	Mark Wright	2013-01-10	4	-6/+75
*	Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...	Mark Wright	2012-11-18	1	-9/+11
*	Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...	Mark Wright	2012-11-18	2	-2/+66
*	Thanks to tomprince for adding support for agda-stdlib.	Mark Wright	2012-03-25	1	-0/+15
*	Thanks to tomprince for adding support for agda-stdlib.	Mark Wright	2012-03-25	4	-0/+62