MD5 (nhc98/nhc98src-1.16.tar.gz) = a62866b8d966108cba325d0322a3010d
MD5 (nhc98/patch-1.16-typesyn) = 38b1505acbcbc5a91e077304e978ab82
MD5 (nhc98/patch-1.16-ghc6) = 4776727cd16c4ba932110119b06c0064