Index of /repo/pkgs/idris/idris-1.3.0.tar.gz/sha512/2a5f66027914aa2a93fb45162f6be3f1662815081cd019a796a4e55cad8be61a9a8d85e6efdc2850081d12b86241cc678e9785d9773af0f2621fe22be9247db7

	Name	Last modified	Size	Description
	Parent Directory		-
	idris-1.3.0.tar.gz	2018-06-26 04:02	1.9M