Cabal file revised.