Correct repo URL in cabal file