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 2.4.2.3	Mark Wright	2015-08-02	1	-4/+6
*	Bump agda-stdlib to 2.4.2.3	Mark Wright	2015-08-02	2	-1/+72
*	Drop old.	Sergei Trofimovich	2015-08-02	1	-21/+6
*	Drop old.	Sergei Trofimovich	2015-08-02	3	-142/+5
*	Updating remote-id in metadata.xml	Justin Lecher	2015-06-15	2	-5/+30
*	Remove old version with unsatisfied dependencies	Patrick Lauer	2015-01-30	1	-13/+1
*	Remove old version with unsatisfied dependencies	Patrick Lauer	2015-01-30	2	-45/+5
*	Bump agda-stdlib to 0.9	Mark Wright	2014-12-14	1	-5/+7
*	Bump agda-stdlib to 0.9	Mark Wright	2014-12-14	2	-1/+73
*	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