@@ -270,7 +270,7 @@ Library
270 , BuildFlags_idris
270 , BuildFlags_idris
272 Build-depends: base >=4 && <5
272 Build-depends: base >=4 && <5
273− , aeson >= 0.6 && < 1.4
273+ , aeson >= 0.6 && < 1.5
274 , annotated-wl-pprint >= 0.7 && < 0.8
274 , annotated-wl-pprint >= 0.7 && < 0.8
275 , ansi-terminal < 0.9
275 , ansi-terminal < 0.9
276 , ansi-wl-pprint < 0.7
276 , ansi-wl-pprint < 0.7
@@ -282,7 +282,7 @@ Library
282 , bytestring < 0.11
282 , bytestring < 0.11
283 , cheapskate >= 0.1.1 && < 0.2
283 , cheapskate >= 0.1.1 && < 0.2
284 , code-page >= 0.1 && < 0.3
284 , code-page >= 0.1 && < 0.3
285− , containers >= 0.5 && < 0.6
285+ , containers >= 0.5 && < 0.7
286 , deepseq < 1.5
286 , deepseq < 1.5
287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
288 , filepath < 1.5
288 , filepath < 1.5