git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1004 from gabemc/issue/1003

Fixing the build.

commit268fd6f646bba9b5964158a6a4921dfb902ac5a3 authorEdwin Brady <edwin.brady@gmail.com> dateTue 25 Mar 2014, 13:11 (13 years ago) parent9c99a0725bbcb0
1 file changed+1
compare with master
unifiedsplit
idris.cabal+1
idris.cabal+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