git.iko.soy/Idris-dev
on master help sign in
Bump ansi-terminal upper bound to <0.9

Bump ansi-terminal upper bound to <0.9, in response to https://github.com/fpco/stackage/issues/3143

commitd3d1bda482fd44c071735f044103461216126113 authorMike Pilgrem <mpilgrem@users.noreply.github.com> dateMon 19 Feb 2018, 23:43 (9 years ago) parent5102e48
1 file changed+2−2
compare with master
unifiedsplit
idris.cabal+2−2
idris.cabal+2−2
@@ -260,7 +260,7 @@ Library
260260 Util.Pretty
261261 , Util.Net
262262
263−
263+
264264
265265 -- Auto Generated
266266 , Paths_idris
@@ -270,7 +270,7 @@ Library
270270 Build-depends: base >=4 && <5
271271 , aeson >= 0.6 && < 1.3
272272 , annotated-wl-pprint >= 0.7 && < 0.8
273− , ansi-terminal < 0.8
273+ , ansi-terminal < 0.9
274274 , ansi-wl-pprint < 0.7
275275 , array >= 0.4.0.1 && < 0.6
276276 , base64-bytestring < 1.1