git.iko.soy/Idris-dev
on master help sign in
Bump llvm-general version yet again to enforce travis compatibility
83de368Benjamin Saunders
idris.cabal+1−1
compare with master
unifiedsplit
@@ -120,7 +120,7 @@ Executable idris
120 haskeline>=0.7, split, directory,
120 haskeline>=0.7, split, directory,
121 containers, process, transformers, filepath,
121 containers, process, transformers, filepath,
122 directory, binary, bytestring, text, pretty,
122 directory, binary, bytestring, text, pretty,
123− language-java>=0.2.2, libffi, llvm-general>=3.3.0.5 && <3.4
123+ language-java>=0.2.2, libffi, llvm-general>=3.3.0.6 && <3.4
124
124
125 Extensions: MultiParamTypeClasses, FunctionalDependencies,
125 Extensions: MultiParamTypeClasses, FunctionalDependencies,
126 FlexibleInstances, TemplateHaskell
126 FlexibleInstances, TemplateHaskell