wiz cdfc70ff8b dris: fix build with current pkgsrc version of dependencies		2022-08-29 14:07:37 +00:00
..
patch-idris.cabal	dris: fix build with current pkgsrc version of dependencies	2022-08-29 14:07:37 +00:00
patch-rts_idris__net.c
patch-rts_Makefile
patch-Setup.hs	lang/idris: Link idris with static Haskell libraries	2022-02-26 08:07:37 +00:00
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_IRTS_System.hs