git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4759 from lodi/updateDeps

Loosen ansi-terminal dependency to accept 0.9.x

commit3b698211bfd35f104bfba7350a7108cbb62fa6ac authorNiklas Larsson <metaniklas@gmail.com> dateMon 21 Oct 2019, 13:34 (7 years ago) parent6f3f4eebcb1c4e
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -272,7 +272,7 @@ Library
272272 Build-depends: base >=4 && <5
273273 , aeson >= 0.6 && < 1.5
274274 , annotated-wl-pprint >= 0.7 && < 0.8
275− , ansi-terminal < 0.9
275+ , ansi-terminal < 0.10
276276 , ansi-wl-pprint < 0.7
277277 , array >= 0.4.0.1 && < 0.6
278278 , base64-bytestring < 1.1