git.iko.soy/Idris-dev
on master help sign in
Bumped bounds on packages required for LTS Haskell inclusion.
commit149fa6f0d6cab50b2bc7b2dba68388e10a17f271 authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateTue 28 Mar 2017, 08:50 (10 years ago) parent52686c8
1 file changed+2−2
compare with master
unifiedsplit
idris.cabal+2−2
idris.cabal+2−2
@@ -252,7 +252,7 @@ Library
252252 , Tools_idris
253253
254254 Build-depends: base >=4 && <5
255− , aeson >= 0.6 && < 1.1
255+ , aeson >= 0.6 && < 1.2
256256 , annotated-wl-pprint >= 0.7 && < 0.8
257257 , ansi-terminal < 0.7
258258 , ansi-wl-pprint < 0.7
@@ -287,7 +287,7 @@ Library
287287 , uniplate >=1.6 && < 1.7
288288 , unordered-containers < 0.3
289289 , utf8-string < 1.1
290− , vector < 0.12
290+ , vector < 0.13
291291 , vector-binary-instances < 0.3
292292 , zip-archive > 0.2.3.5 && < 0.4
293293 , fsnotify >= 0.2 && < 2.2