Index of /es.archive.ubuntu.com/ubuntu/pool/universe/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_0.14-1_all.deb	2017-11-26 19:04	1.0M
	agda-stdlib_0.14-1_all.deb	2017-11-26 19:04	17M