on master help sign in
Merge pull request #2330 from Heather/patch-3

bump lens dependency

commitb4c2f6fd4e2df0365329650438cdc993c3c495c4 authorDavid Christiansen <david@davidchristiansen.dk> dateMon 1 Jun 2015, 11:30 (11 years ago) parentdd4e9f0e1c3a0b
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -883,7 +883,7 @@ Library
883883 , filepath < 1.5
884884 , fingertree >= 0.1 && < 0.2
885885 , haskeline >= 0.7 && < 0.8
886− , lens >= 4.1.1 && < 4.10
886+ , lens >= 4.1.1 && < 4.12
887887 , mtl >= 2.1 && < 2.3
888888 , network < 2.7
889889 , optparse-applicative >= 0.11 && < 0.12