Index of /repo/pkgs/idris/idris-1.3.4.tar.gz/sha512/362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c

	Name	Last modified	Size	Description
	Parent Directory		-
	idris-1.3.4.tar.gz	2021-10-25 10:40	1.6M