hackage2nix.hs: remember how to run this