Update Cabal-Version field to 1.22
We seem to have broken compatibility with old cabal versions.
Fixes #4345 .
commitecd3bc63fd9e317229c997ddd3baeab0339897f3
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateFri 23 Feb 2018, 09:04 (9 years ago)
parent3a71443
idris.cabal+1−1
@@ -41,7 +41,7 @@ Description: Idris is a general purpose language with full dependent types.
4141 .
4242 * Hugs style interactive environment
4343
44−Cabal-Version: >= 1.18
44+Cabal-Version: >= 1.22
4545
4646Build-type: Custom
4747