on master help sign in
Merge pull request #2554 from LeifW/remove_lens_dep
7642503David Christiansen
idris.cabal−1
@@ -909,7 +909,6 @@ Library
909 , filepath < 1.5
909 , filepath < 1.5
910 , fingertree >= 0.1 && < 0.2
910 , fingertree >= 0.1 && < 0.2
911 , haskeline >= 0.7 && < 0.8
911 , haskeline >= 0.7 && < 0.8
912− , lens >= 4.1.1 && < 4.12
913 , mtl >= 2.1 && < 2.3
912 , mtl >= 2.1 && < 2.3
914 , network < 2.7
913 , network < 2.7
915 , optparse-applicative >= 0.11 && < 0.12
914 , optparse-applicative >= 0.11 && < 0.12