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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_0.6-2_all.deb	2017-09-22 21:41	1.6M
	agda-stdlib_0.6-2_all.deb	2017-09-22 21:48	16M