Skip to content

Commit

Permalink
Merge pull request idris-lang#3445 from enolan/optparse-bounds
Browse files Browse the repository at this point in the history
Widen bounds on optparse-applicative and aeson
  • Loading branch information
melted authored Sep 21, 2016
2 parents caefd9a + b925546 commit 88e7bea
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions idris.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -251,7 +251,7 @@ Library
, Tools_idris

Build-depends: base >=4 && <5
, aeson >= 0.6 && < 0.12
, aeson >= 0.6 && < 1.1
, annotated-wl-pprint >= 0.7 && < 0.8
, ansi-terminal < 0.7
, ansi-wl-pprint < 0.7
Expand All @@ -271,7 +271,7 @@ Library
, ieee754 >= 0.7 && < 0.8
, mtl >= 2.1 && < 2.3
, network < 2.7
, optparse-applicative >= 0.11 && < 0.13
, optparse-applicative >= 0.11 && < 0.14
, parsers >= 0.9 && < 0.13
, pretty < 1.2
, regex-tdfa >= 1.2
Expand Down

0 comments on commit 88e7bea

Please sign in to comment.