Compatibility with Cabal 3.0
Compatibility with Cabal 3.0

Use the v1 cabal commands

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev