on master help sign in
bump lens dependency

works fine with 4.11

commite1c3a0b0bbad459fd9e37c8feaf7f1ffdf685948 authorHeather <Heather@users.noreply.github.com> dateFri 29 May 2015, 17:40 (11 years ago) parent0c953a9
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