on master help sign in
Merge pull request #2735 from LeifW/bump_vector_constraint

Bump vector constraint to allow 0.11.x

commitaabda6e19cfa49b99f3fd0775da8ce05c52cf505 authorNiklas Larsson <metaniklas@gmail.com> dateWed 14 Oct 2015, 22:53 (11 years ago) parent8bd99ed304a7e7
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