git.iko.soy/Idris-dev
on master help sign in
Fixing the build.
9607cd8Gabriel McArthur
idris.cabal+2−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
@@ -548,7 +549,7 @@ Library
548 , text
549 , text
549 , time >= 1.4
550 , time >= 1.4
550 , transformers
551 , transformers
551− , trifecta >= 1.1
552+ , trifecta >= 1.4
552 , unordered-containers
553 , unordered-containers
553 , utf8-string
554 , utf8-string
554 , vector
555 , vector