Merge pull request #1728 from RyanGlScott/master
Bump lens upper version bounds
commit3d1b007684cc47530c91d43f399a7f8263da9525
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 24 Nov 2014, 11:17 (12 years ago)
parentf7ea42cb4d1265
idris.cabal+1−1
@@ -701,7 +701,7 @@ Library
701701 , filepath < 1.4
702702 , fingertree >= 0.1 && < 0.2
703703 , haskeline >= 0.7 && < 0.8
704− , lens >= 4.1.1 && < 4.6
704+ , lens >= 4.1.1 && < 4.7
705705 , mtl < 2.3
706706 , network < 2.7
707707 , optparse-applicative >= 0.11 && < 0.12