Name	Last modified	Size
	Parent Directory		-
	CVS/	2024-10-17 16:05	-
	patch-idris.cabal	2022-02-12 07:13	1.3K
	patch-rts_idris__net.c	2020-01-20 23:32	461
	patch-rts_Makefile	2020-01-20 23:32	404
	patch-Setup.hs	2022-02-26 08:07	2.7K
	patch-src_Idris_Package_Parser.hs	2020-01-20 23:32	629
	patch-src_Idris_Parser_Data.hs	2020-01-20 23:32	610
	patch-src_Idris_Parser_Helpers.hs	2020-01-20 23:32	559
	patch-src_Idris_Parser_Ops.hs	2020-01-20 23:32	1.9K
	patch-src_IRTS_System.hs	2020-01-20 23:32	949