Update idris.cabal