@@ -251,7 +251,7 @@ Library
251 , Tools_idris
251 , Tools_idris
253 Build-depends: base >=4 && <5
253 Build-depends: base >=4 && <5
254− , aeson >= 0.6 && < 0.12
254+ , aeson >= 0.6 && < 1.1
255 , annotated-wl-pprint >= 0.7 && < 0.8
255 , annotated-wl-pprint >= 0.7 && < 0.8
256 , ansi-terminal < 0.7
256 , ansi-terminal < 0.7
257 , ansi-wl-pprint < 0.7
257 , ansi-wl-pprint < 0.7
@@ -271,7 +271,7 @@ Library
271 , ieee754 >= 0.7 && < 0.8
271 , ieee754 >= 0.7 && < 0.8
272 , mtl >= 2.1 && < 2.3
272 , mtl >= 2.1 && < 2.3
273 , network < 2.7
273 , network < 2.7
274− , optparse-applicative >= 0.11 && < 0.13
274+ , optparse-applicative >= 0.11 && < 0.14
275 , parsers >= 0.9 && < 0.13
275 , parsers >= 0.9 && < 0.13
276 , pretty < 1.2
276 , pretty < 1.2
277 , regex-tdfa >= 1.2
277 , regex-tdfa >= 1.2