diff --git a/digger.cabal b/digger.cabal index 27862436ea122db08984946eb041d58e8c2a2761..da12785a6608ee8c92c3b05f27371fb2020b1ec5 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,