@@ -252,7 +252,7 @@ Library
252 , Tools_idris
252 , Tools_idris
254 Build-depends: base >=4 && <5
254 Build-depends: base >=4 && <5
255− , aeson >= 0.6 && < 1.1
255+ , aeson >= 0.6 && < 1.2
256 , annotated-wl-pprint >= 0.7 && < 0.8
256 , annotated-wl-pprint >= 0.7 && < 0.8
257 , ansi-terminal < 0.7
257 , ansi-terminal < 0.7
258 , ansi-wl-pprint < 0.7
258 , ansi-wl-pprint < 0.7
@@ -287,7 +287,7 @@ Library
287 , uniplate >=1.6 && < 1.7
287 , uniplate >=1.6 && < 1.7
288 , unordered-containers < 0.3
288 , unordered-containers < 0.3
289 , utf8-string < 1.1
289 , utf8-string < 1.1
290− , vector < 0.12
290+ , vector < 0.13
291 , vector-binary-instances < 0.3
291 , vector-binary-instances < 0.3
292 , zip-archive > 0.2.3.5 && < 0.4
292 , zip-archive > 0.2.3.5 && < 0.4
293 , fsnotify >= 0.2 && < 2.2
293 , fsnotify >= 0.2 && < 2.2