@@ -119,7 +119,7 @@ Executable idris
119 haskeline>=0.7, split, directory,
119 haskeline>=0.7, split, directory,
120 containers, process, transformers, filepath,
120 containers, process, transformers, filepath,
121 directory, binary, bytestring, text, pretty,
121 directory, binary, bytestring, text, pretty,
122− language-java>=0.2.2, libffi, llvm-general>=3.3.0.3 && <3.4
122+ language-java>=0.2.2, libffi, llvm-general>=3.3.0.4 && <3.4
124 Extensions: MultiParamTypeClasses, FunctionalDependencies,
124 Extensions: MultiParamTypeClasses, FunctionalDependencies,
125 FlexibleInstances, TemplateHaskell
125 FlexibleInstances, TemplateHaskell