Index of /gold/pool/multiverse/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_1.1-1_all.deb	2021-01-18 10:38	45M
	agda-stdlib-doc_1.1-1_all.deb	2021-01-18 10:41	1.8M