Index of /idris2

	Name	Last modified	Size	Description
	Parent Directory		-
	idris2-0.7.0_1.darwi..>	2024-06-26 13:39	25M
	idris2-0.7.0_1.darwi..>	2024-06-26 13:39	512
	idris2-0.7.0_1.darwi..>	2024-06-26 13:33	25M
	idris2-0.7.0_1.darwi..>	2024-06-26 13:33	512
	idris2-0.7.0_1.darwi..>	2024-06-25 21:18	25M
	idris2-0.7.0_1.darwi..>	2024-06-25 21:18	512
	idris2-0.7.0_1.darwi..>	2024-06-25 14:43	25M
	idris2-0.7.0_1.darwi..>	2024-06-25 14:43	512
	idris2-0.7.0_1.darwi..>	2024-06-25 17:27	24M
	idris2-0.7.0_1.darwi..>	2024-06-25 17:27	512
	idris2-0.7.0_1.darwi..>	2024-06-26 16:27	25M
	idris2-0.7.0_1.darwi..>	2024-06-26 16:27	512
	idris2-0.7.0_1.darwi..>	2024-06-25 07:14	24M
	idris2-0.7.0_1.darwi..>	2024-06-25 07:14	512
	idris2-0.7.0_1.darwi..>	2024-06-26 20:02	25M
	idris2-0.7.0_1.darwi..>	2024-06-26 20:02	512
	idris2-0.7.0_1.darwi..>	2024-06-24 21:52	24M
	idris2-0.7.0_1.darwi..>	2024-06-24 21:52	512
	idris2-0.7.0_1.darwi..>	2024-06-25 22:08	25M
	idris2-0.7.0_1.darwi..>	2024-06-25 22:08	512
	idris2-0.7.0_1.darwi..>	2024-10-10 03:01	27M
	idris2-0.7.0_1.darwi..>	2024-10-10 03:01	512