Index of /debian-sh/wheezy-sh4/pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-mode_2.3.0.1-2_all.deb	13-May-2013 04:16	45K
	agda_2.3.0.1-2_all.deb	13-May-2013 04:16	13K
	libghc-agda-doc_2.3.0.1-2_all.deb	13-May-2013 04:16	1.7M