add cabal synopsis