/lang/idris/patches/

• ../
• patch-Setup.hs
• patch-idris.cabal
• patch-rts_Makefile
• patch-rts_idris__net.c
• patch-src_IRTS_System.hs
• patch-src_Idris_CmdOptions.hs
• patch-src_Idris_Core_CaseTree.hs
• patch-src_Idris_Core_TT.hs
• patch-src_Idris_Package_Parser.hs
• patch-src_Idris_Parser_Data.hs
• patch-src_Idris_Parser_Helpers.hs
• patch-src_Idris_Parser_Ops.hs
• patch-src_Idris_Parser_Stack.hs