Index of /pub/NetBSD-CVS/pkgsrc/lang/idris/patches/Attic

• Parent Directory
• patch-idris.cabal,v
• patch-src_Idris_CmdOptions.hs,v
• patch-src_Idris_Core_CaseTree.hs,v
• patch-src_Idris_Output.hs,v
• patch-src_Idris_Parser_Stack.hs,v
• patch-src_Idris_REPL.hs,v