Index of /gentoo/portage/sci-mathematics/agda/files

	Name	Last modified	Size	Description
	Parent Directory		-
	50agda2-gentoo.el	2015-08-08 20:38	317
	agda-2.4.2.5-hashtables.patch	2016-02-08 17:15	558