git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4502 from idris-lang/aeson-bound

Raise aeson bound

commitebd311918ed43728ad6af01da1ea6a4e48073033 authorNiklas Larsson <metaniklas@gmail.com> dateSun 1 Jul 2018, 14:34 (8 years ago) parentd32cec87f19664
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -270,7 +270,7 @@ Library
270270 , BuildFlags_idris
271271
272272 Build-depends: base >=4 && <5
273− , aeson >= 0.6 && < 1.3
273+ , aeson >= 0.6 && < 1.4
274274 , annotated-wl-pprint >= 0.7 && < 0.8
275275 , ansi-terminal < 0.9
276276 , ansi-wl-pprint < 0.7