git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4340 from mpilgrem/ansi-terminal

Bump ansi-terminal upper bound to <0.9

commita7257e6d800e40a9a80f21ada7c77ba41579e7d2 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 20 Feb 2018, 08:25 (9 years ago) parent5102e48d3d1bda
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