diff --git a/idris.cabal b/idris.cabal index 104558e2ca..c48d0b421c 100644 --- a/idris.cabal +++ b/idris.cabal @@ -40,7 +40,7 @@ Description: Idris is a general purpose language with full dependent types. . * Hugs style interactive environment -Cabal-Version: >= 1.18 +Cabal-Version: >= 1.24 Build-type: Custom