…
..
patch-src_Cryptol_Eval_Monad.hs
patch-src_Cryptol_ModuleSystem_Monad.hs
patch-src_Cryptol_Parser_NoInclude.hs
patch-src_Cryptol_Parser_NoPat.hs
patch-src_Cryptol_Parser_ParserUtils.hs
patch-src_Cryptol_TypeCheck_Monad.hs
patch-src_Cryptol_TypeCheck_Sanity.hs
patch-src_Cryptol_Utils_Patterns.hs