git.iko.soy/Idris-dev
on master help sign in
Update Cabal-Version field to 1.22
ecd3bc6Ahmad Salim Al-Sibahi
idris.cabal+1−1
compare with master
unifiedsplit
@@ -41,7 +41,7 @@ Description: Idris is a general purpose language with full dependent types.
41 .
41 .
42 * Hugs style interactive environment
42 * Hugs style interactive environment
43
43
44−Cabal-Version: >= 1.18
44+Cabal-Version: >= 1.22
45
45
46Build-type: Custom
46Build-type: Custom
47
47