From b925546bb63d8d736495884bad3da7fe08a23439 Mon Sep 17 00:00:00 2001
From: Echo Nolan <echo@echonolan.net>
Date: Mon, 19 Sep 2016 23:36:35 -0700
Subject: [PATCH] Widen bounds on optparse-applicative and aeson

---
 idris.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris.cabal b/idris.cabal
index 41931b5c5b..5084964a3d 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -251,7 +251,7 @@ Library
                 , Tools_idris
 
   Build-depends:  base >=4 && <5
-                , aeson >= 0.6 && < 0.12
+                , aeson >= 0.6 && < 1.1
                 , annotated-wl-pprint >= 0.7 && < 0.8
                 , ansi-terminal < 0.7
                 , ansi-wl-pprint < 0.7
@@ -271,7 +271,7 @@ Library
                 , ieee754 >= 0.7 && < 0.8
                 , mtl >= 2.1 && < 2.3
                 , network < 2.7
-                , optparse-applicative >= 0.11 && < 0.13
+                , optparse-applicative >= 0.11 && < 0.14
                 , parsers >= 0.9 && < 0.13
                 , pretty < 1.2
                 , regex-tdfa >= 1.2