Index of /boss/pool/anoop/main/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.8-2_all.deb	2020-05-25 16:02	22M
	agda-stdlib-doc_0.8-2_all.deb	2020-05-25 16:02	1.2M