Remove direct dep on lens
While lens is a transitive dep of trifecta, we're not using it directly.
Don't think specifying ranges on it is helpful for us.
commit13623f63f76d0aa429f9ca0d300e367972ba1717
authorLeif Warner <abimelech@gmail.com>
dateWed 26 Aug 2015, 15:23 (11 years ago)
parent3e9a19e
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