on master help sign in
Merge pull request #2228 from idris-lang/lens-bump-4.10

Bump upper bound of lens

commited2e247458ab875ed8e6ea76381c4ada44f68ae1 authorDavid Christiansen <david@davidchristiansen.dk> dateTue 5 May 2015, 10:38 (11 years ago) parentab333a769214ab
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -855,7 +855,7 @@ Library
855855 , filepath < 1.5
856856 , fingertree >= 0.1 && < 0.2
857857 , haskeline >= 0.7 && < 0.8
858− , lens >= 4.1.1 && < 4.9
858+ , lens >= 4.1.1 && < 4.10
859859 , mtl >= 2.1 && < 2.3
860860 , network < 2.7
861861 , optparse-applicative >= 0.11 && < 0.12