def8a1d · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Bump some upper bounds on deps to build w/ stackage-nightly

I assume this should also build with previous versions of stackage, given these constraints. Also, xml was only used by the Java backend to make pom.xml files.

commitdef8a1ddd6b29311b7ca4f8a2d300b974f664a83 authorLeif Warner <abimelech@gmail.com> dateMon 6 Jul 2015, 18:21 (11 years ago) parent504291b

1 file changed+3−4

compare with master

unifiedsplit

idris.cabal+3−4

idris.cabal+3−4

@@ -880,8 +880,8 @@ Library

880880 , ansi-wl-pprint < 0.7

881881 , base64-bytestring < 1.1

882882 , binary >= 0.7 && < 0.8

883− , blaze-html >= 0.6.1.3 && < 0.8

884− , blaze-markup >= 0.5.2.1 && < 0.6.3.0

883+ , blaze-html >= 0.6.1.3 && < 0.9

884+ , blaze-markup >= 0.5.2.1 && < 0.8

885885 , bytestring < 0.11

886886 , cheapskate < 0.2

887887 , containers >= 0.5 && < 0.6

@@ -905,10 +905,9 @@ Library

905905 , trifecta >= 1.1 && < 1.6

906906 , uniplate >=1.6 && < 1.7

907907 , unordered-containers < 0.3

908− , utf8-string < 0.4

908+ , utf8-string <= 1

909909 , vector < 0.11

910910 , vector-binary-instances < 0.3

911− , xml < 1.4

912911 , zip-archive > 0.2.3.5 && < 0.2.4

913912 , zlib < 0.6

914913 , safe