Index of /ubuntu/pool/universe/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_1.3-..>	2020-08-02 01:43	2.3M
	agda-stdlib-doc_1.7...>	2023-11-10 18:50	2.8M
	agda-stdlib_1.3-2_al..>	2020-08-02 01:43	70M
	agda-stdlib_1.7.3-1_..>	2023-11-10 18:50	115M