Fix the cabal declaration style
Change the source repo