Hi Duncan, as promised attached is the patch that turns crypt into a safe ccall. Also attached is a patch that updates hackage-server to the latest versions of its dependencies. This enables it to build on ghc-7.2.1. I also depend on a new unreleased version of rss. I also attached this patch for rss. I'm currently looking for the new maintainer of rss (Bjorn Bringert doesn't maintain it anymore). If nobody steps up, I will take it over. Regards, Bas