From c3da0c7d591ada787f08ed9665783e903602f8ea Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 2 Aug 2024 21:37:35 +0800 Subject: [PATCH] bump ansi-wl-pprint and optparse-applicative --- idris.cabal | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/idris.cabal b/idris.cabal index 68d40d47d..8fb8b5fe3 100644 --- a/idris.cabal +++ b/idris.cabal @@ -320,7 +320,7 @@ Library Build-depends: base >=4 && <5 , aeson >= 0.6 && < 2.2 - , annotated-wl-pprint >= 0.7 && < 0.8 + , annotated-wl-pprint >= 0.7 && < 1.1 , ansi-terminal < 0.12 || ^>= 1.0 , ansi-wl-pprint < 0.7 , array >= 0.4.0.1 && < 0.6 @@ -341,7 +341,7 @@ Library , megaparsec >= 7.0.4 && < 10 , mtl >= 2.1 && < 2.4 , network >= 2.7 && < 3.1.5 - , optparse-applicative >= 0.13 && < 0.18 + , optparse-applicative >= 0.13 && < 0.19 , parser-combinators >= 1.0.0 , pretty < 1.2 , process < 1.7 @@ -416,7 +416,7 @@ Test-suite regression-and-feature-tests , filepath , directory , haskeline >= 0.7 - , optparse-applicative >= 0.13 && < 0.18 + , optparse-applicative >= 0.13 && < 0.19 , tagged , tasty >= 0.8 , tasty-golden >= 2.0