Index of /mirror/release/2/ubuntu-security_arm64/pool/main/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_1.1-1_all.deb	2021-03-16 13:59	1.8M
	agda-stdlib_1.1-1_all.deb	2021-03-16 13:51	45M