git.iko.soy/Idris-dev
on master help sign in
Bump ansi-terminal upper bound to <0.9
d3d1bdaMike Pilgrem
idris.cabal+2−2
compare with master
unifiedsplit
@@ -260,7 +260,7 @@ Library
260 Util.Pretty
260 Util.Pretty
261 , Util.Net
261 , Util.Net
262
262
263−
263+
264
264
265 -- Auto Generated
265 -- Auto Generated
266 , Paths_idris
266 , Paths_idris
@@ -270,7 +270,7 @@ Library
270 Build-depends: base >=4 && <5
270 Build-depends: base >=4 && <5
271 , aeson >= 0.6 && < 1.3
271 , aeson >= 0.6 && < 1.3
272 , annotated-wl-pprint >= 0.7 && < 0.8
272 , annotated-wl-pprint >= 0.7 && < 0.8
273− , ansi-terminal < 0.8
273+ , ansi-terminal < 0.9
274 , ansi-wl-pprint < 0.7
274 , ansi-wl-pprint < 0.7
275 , array >= 0.4.0.1 && < 0.6
275 , array >= 0.4.0.1 && < 0.6
276 , base64-bytestring < 1.1
276 , base64-bytestring < 1.1