git.iko.soy/Idris-dev
on master help sign in
Bump upper bound of lens

This makes it install more cleanly with newer libs.

commit69214abb9f3465713e314dc28b89f8826d9ee32f authorDavid Christiansen <david@davidchristiansen.dk> dateMon 4 May 2015, 09:22 (12 years ago) parentf0bf615
1 file changed+1−1
compare with master
unifiedsplit
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