Index of /ubuntu-lucid/pool/universe/a/agda-bin

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.2.6-1build1_amd64.deb	04-Feb-2010 00:04	2.7M
	agda-bin_2.2.6-1build1_i386.deb	04-Feb-2010 00:04	2.6M