@@ -40,7 +40,7 @@ Description: Idris is a general purpose language with full dependent types.
4040 .
4141 * Hugs style interactive environment
4242
43−Cabal-Version: >= 1.8
43+Cabal-Version: >= 1.8.1
4444
4545Build-type: Custom
4646
@@ -289,7 +289,7 @@ Library
289289 , vector < 0.12
290290 , vector-binary-instances < 0.3
291291 , zip-archive > 0.2.3.5 && < 0.4
292− , safe
292+ , safe == 0.3.9
293293 , fsnotify >= 0.2 && < 2.2
294294 , async < 2.2
295295