Index of /spark/pool/main/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_0.8-2_all.deb	2015-11-22 17:59	1.2M
	agda-stdlib_0.8-2_all.deb	2015-12-09 17:16	22M