on master help sign in
Merge pull request #2624 from juhp/patch-3

allow utf8-string 1.0.*

commit0345e41479788a70b8b4624be070fb39a9325a1b authorNiklas Larsson <metaniklas@gmail.com> dateThu 17 Sep 2015, 16:31 (11 years ago) parent1c24404ce8b625
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -934,7 +934,7 @@ Library
934934 , trifecta >= 1.1 && < 1.6
935935 , uniplate >=1.6 && < 1.7
936936 , unordered-containers < 0.3
937− , utf8-string <= 1
937+ , utf8-string < 1.1
938938 , vector < 0.11
939939 , vector-binary-instances < 0.3
940940 , zip-archive > 0.2.3.5 && < 0.2.4