@@ -251,7 +251,7 @@ Library
251251 , Tools_idris
252252
253253 Build-depends: base >=4 && <5
254− , aeson >= 0.6 && < 0.12
254+ , aeson >= 0.6 && < 1.1
255255 , annotated-wl-pprint >= 0.7 && < 0.8
256256 , ansi-terminal < 0.7
257257 , ansi-wl-pprint < 0.7
@@ -271,7 +271,7 @@ Library
271271 , ieee754 >= 0.7 && < 0.8
272272 , mtl >= 2.1 && < 2.3
273273 , network < 2.7
274− , optparse-applicative >= 0.11 && < 0.13
274+ , optparse-applicative >= 0.11 && < 0.14
275275 , parsers >= 0.9 && < 0.13
276276 , pretty < 1.2
277277 , regex-tdfa >= 1.2