Package: ftp.debian.org Severity: normal -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi, this is a follow up from #796128, where I requested the removal of hlint, and meant "all binaries produced by the hlint source", but was not clear about it. Sorry. To complete this, please remove libghc-hlint-dev and libghc-hlint-prof as well. Thanks, Joachim -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlXbSLAACgkQ9ijrk0dDIGyjgQCaAsI0IlZHPq9FMNxQxtZmbiWo ysAAoNSpSgEgdnLAQfR60ahsTlBKJ7p2 =dnaD -----END PGP SIGNATURE-----