git.iko.soy/Idris-dev
on master help sign in
Bump bound for annotated-wl-pprint

This allows GHC 7.10 compatibility.

commitc279315c56c19d6c1815716ec3b8c3d587ea7fa5 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateMon 20 Apr 2015, 19:09 (12 years ago) parent4359edd
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -808,7 +808,7 @@ Library
808808 , Version_idris
809809
810810 Build-depends: base >=4 && <5
811− , annotated-wl-pprint >= 0.5.3 && < 0.6
811+ , annotated-wl-pprint >= 0.5.3 && < 0.7
812812 , ansi-terminal < 0.7
813813 , ansi-wl-pprint < 0.7
814814 , base64-bytestring < 1.1