on master help sign in
allow utf8-string 1.0.*
commitce8b625edec17c2d5783c4d89fc102cb46f1a21a authorJens Petersen <juhpetersen@gmail.com> dateThu 17 Sep 2015, 10:00 (11 years ago) parent1c24404
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