Update carma-models.cabal