on master help sign in
Fixing the build.
commit9607cd8c8f9a0815fa534b4f993b469edeac7e31 authorGabriel McArthur <gabriel.mcarthur@gmail.com> dateMon 24 Mar 2014, 18:31 (13 years ago) parent9c99a07
1 file changed+2−1
idris.cabal+2−1
idris.cabal+2−1
@@ -540,6 +540,7 @@ Library
540540 , filepath
541541 , haskeline >= 0.7
542542 , language-java >= 0.2.6
543+ , lens >= 4.1.1
543544 , mtl
544545 , parsers >= 0.9
545546 , pretty
@@ -548,7 +549,7 @@ Library
548549 , text
549550 , time >= 1.4
550551 , transformers
551− , trifecta >= 1.1
552+ , trifecta >= 1.4
552553 , unordered-containers
553554 , utf8-string
554555 , vector