on master help sign in
Bump vector constraint to allow 0.11.x

fixes #2734

commit304a7e7ce202b73c0b4c7883de10516dccb4d715 authorLeif Warner <abimelech@gmail.com> dateWed 14 Oct 2015, 12:38 (11 years ago) parent8bd99ed
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -957,7 +957,7 @@ Library
957957 , uniplate >=1.6 && < 1.7
958958 , unordered-containers < 0.3
959959 , utf8-string < 1.1
960− , vector < 0.11
960+ , vector < 0.12
961961 , vector-binary-instances < 0.3
962962 , zip-archive > 0.2.3.5 && < 0.2.4
963963 , zlib < 0.6