root cf76c9f6b0 Sync with portage [Fri Feb 17 21:46:08 MSK 2017].		2017-02-17 21:46:08 +03:00
..
50agda-stdlib-gentoo.el	Sync with portage [Mon Mar 26 10:11:53 MSK 2012].	2012-03-26 10:11:53 +04:00
standard-library.agda-lib	Sync with portage [Fri Feb 17 21:46:08 MSK 2017].	2017-02-17 21:46:08 +03:00