on master help sign in
updated ansi-terminal dependency to accept 0.9.x
commitbcb1c4e9cd55f823f450a9d34e4883e27c49cd6c authorlodi <anthony.lodi@gmail.com> dateFri 30 Aug 2019, 17:58 (7 years ago) parent7af67ac
1 file changed+1−1
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