on master help sign in
Allow newer version of aeson and containers.
commit2de0c8f1c3dbece10369e47d81e16d25917e4637 authorLeif Warner <abimelech@gmail.com> dateSun 9 Dec 2018, 04:11 (8 years ago) parentce61f60
1 file changed+2−2
idris.cabal+2−2
idris.cabal+2−2
@@ -270,7 +270,7 @@ Library
270270 , BuildFlags_idris
271271
272272 Build-depends: base >=4 && <5
273− , aeson >= 0.6 && < 1.4
273+ , aeson >= 0.6 && < 1.5
274274 , annotated-wl-pprint >= 0.7 && < 0.8
275275 , ansi-terminal < 0.9
276276 , ansi-wl-pprint < 0.7
@@ -282,7 +282,7 @@ Library
282282 , bytestring < 0.11
283283 , cheapskate >= 0.1.1 && < 0.2
284284 , code-page >= 0.1 && < 0.3
285− , containers >= 0.5 && < 0.6
285+ , containers >= 0.5 && < 0.7
286286 , deepseq < 1.5
287287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
288288 , filepath < 1.5