@@ -40,7 +40,7 @@ Description: Idris is a general purpose language with full dependent types.
41 * Hugs style interactive environment
41 * Hugs style interactive environment
43−Cabal-Version: >= 1.8
43+Cabal-Version: >= 1.8.1
45Build-type: Custom
45Build-type: Custom
@@ -289,7 +289,7 @@ Library
289 , vector < 0.12
289 , vector < 0.12
290 , vector-binary-instances < 0.3
290 , vector-binary-instances < 0.3
291 , zip-archive > 0.2.3.5 && < 0.4
291 , zip-archive > 0.2.3.5 && < 0.4
292− , safe
292+ , safe == 0.3.9
293 , fsnotify >= 0.2 && < 2.2
293 , fsnotify >= 0.2 && < 2.2
294 , async < 2.2
294 , async < 2.2