git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1004 from gabemc/issue/1003
268fd6fEdwin Brady
idris.cabal+1
compare with master
unifiedsplit
@@ -540,6 +540,7 @@ Library
540 , filepath
540 , filepath
541 , haskeline >= 0.7
541 , haskeline >= 0.7
542 , language-java >= 0.2.6
542 , language-java >= 0.2.6
543+ , lens >= 4.1.1
543 , mtl
544 , mtl
544 , parsers >= 0.9
545 , parsers >= 0.9
545 , pretty
546 , pretty