git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1290 from Melvar/fix-optparse-bound
db92986Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -639,7 +639,7 @@ Library
639 , xml
639 , xml
640 , deepseq
640 , deepseq
641 , zlib
641 , zlib
642− , optparse-applicative
642+ , optparse-applicative >= 0.8
643 Extensions: MultiParamTypeClasses
643 Extensions: MultiParamTypeClasses
644 , FunctionalDependencies
644 , FunctionalDependencies
645 , FlexibleContexts
645 , FlexibleContexts