@@ -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.3
273+ , aeson >= 0.6 && < 1.4
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