git.iko.soy/Idris-dev
on master help sign in
Bump lens upper version bounds
commitb4d1265b0a946667e205495376bfb6da9e3f8c14 authorRyanGlScott <ryan.gl.scott@ku.edu> dateFri 14 Nov 2014, 21:33 (12 years ago) parentefd6f8a
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
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