Fix hackage link and cabal file