Index of /ubuntu-test-rebuild-20240126-mantic-with-fp/ubuntu/pool/universe/a/agda-stdlib

	Name	Last modified	Size
	Parent Directory		-
	agda-stdlib-doc_1.7.1-1_all.deb	2024-01-31 06:26	2.8M
	agda-stdlib_1.7.1-1_all.deb	2024-01-31 06:26	98M