Index of /repo/pkgs/idris/idris-1.3.2.tar.gz/sha512/2db0fbcad6b596b7e34dcbb0c4fbe30ccbbcfbb5f469d4b077bf010391a98bb743162656c608d154f62f78f607662548cc1f00fc710f59d89612a3552a3e037f

	Name	Last modified	Size	Description
	Parent Directory		-
	idris-1.3.2.tar.gz	2019-07-22 11:10	2.0M