Merge pull request #2554 from LeifW/remove_lens_dep
Remove direct dep on lens
commit7642503875b5f2f00542523a26c291aa4bc4d296
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 26 Aug 2015, 17:36 (11 years ago)
parent3e9a19e13623f6
idris.cabal−1
@@ -909,7 +909,6 @@ Library
909909 , filepath < 1.5
910910 , fingertree >= 0.1 && < 0.2
911911 , haskeline >= 0.7 && < 0.8
912− , lens >= 4.1.1 && < 4.12
913912 , mtl >= 2.1 && < 2.3
914913 , network < 2.7
915914 , optparse-applicative >= 0.11 && < 0.12