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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.3-1ubuntu2_amd64.deb	16-Feb-2010 23:10	11M
	agda-stdlib_0.3-1ubuntu2_i386.deb	16-Feb-2010 22:04	11M
	agda-stdlib-doc_0.3-1ubuntu2_all.deb	16-Feb-2010 22:04	1.1M