From b94e5f8360d2f315ecef3f5d558038968dc8ed3e Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Tue, 9 Feb 2021 20:28:01 +0100
Subject: [PATCH] Widen dependencies
---
digger.cabal | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/digger.cabal b/digger.cabal
index 2786243..da12785 100644
--- a/digger.cabal
+++ b/digger.cabal
@@ -25,8 +25,8 @@ library
hs-source-dirs: src
exposed-modules: Language.Coq.ExtractedAST,
Language.Coq.Deep
- build-depends: base >=4.9 && <4.14,
- aeson >=0.11 && <1.5,
+ build-depends: base >=4.9 && <4.15,
+ aeson >=0.11 && <1.6,
containers >=0.5.7 && <0.7,
mtl >=2.2 && <2.3,
bytestring >=0.10 && <0.11,
@@ -41,12 +41,12 @@ executable digger
main-is: digger.hs
hs-source-dirs: app
other-modules: Paths_digger
- build-depends: base >=4.9 && <4.14,
- aeson >=0.11 && <1.5,
+ build-depends: base >=4.9 && <4.15,
+ aeson >=0.11 && <1.6,
containers >=0.5.7 && <0.7,
bytestring >=0.10 && <0.11,
data-default >=0.7 && <0.8,
- optparse-applicative >=0.12 && <0.16,
+ optparse-applicative >=0.12 && <0.17,
text >=1.2 && <1.3,
wl-pprint-text >=1.1 && <1.3,
pretty >=1.1 && <1.2,
--
GitLab