Delete odis-core.cabal