Skip to content
Snippets Groups Projects
Commit b94e5f83 authored by Samuel Hym's avatar Samuel Hym
Browse files

Widen dependencies

parent 22df9e97
No related branches found
No related tags found
No related merge requests found
......@@ -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,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment