From 283cda9303ad629bf264f4e5afd0885fe85b0a00 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 22 Nov 2016 09:29:54 -0800
Subject: [PATCH] ui: allow vty 5.13 (and use it in stack.yaml)

---
 hledger-ui/hledger-ui.cabal | 2 +-
 hledger-ui/package.yaml     | 2 +-
 stack.yaml                  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/hledger-ui/hledger-ui.cabal b/hledger-ui/hledger-ui.cabal
index fa2a1d8c5..54ebc40de 100644
--- a/hledger-ui/hledger-ui.cabal
+++ b/hledger-ui/hledger-ui.cabal
@@ -83,7 +83,7 @@ executable hledger-ui
   else
     build-depends:
         brick >= 0.12 && < 0.15
-      , vty >= 5.5 && < 5.13
+      , vty >= 5.5 && < 5.14
   if flag(threaded)
     ghc-options: -threaded
   if flag(oldtime)
diff --git a/hledger-ui/package.yaml b/hledger-ui/package.yaml
index 7b4220a47..ed2c6830d 100644
--- a/hledger-ui/package.yaml
+++ b/hledger-ui/package.yaml
@@ -86,7 +86,7 @@ executables:
         else:
           dependencies:
             - brick >= 0.12 && < 0.15
-            - vty >= 5.5 && < 5.13
+            - vty >= 5.5 && < 5.14
       - condition: flag(threaded)
         ghc-options: -threaded
       - condition: flag(oldtime)
diff --git a/stack.yaml b/stack.yaml
index 19b1e691f..89914412e 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -14,7 +14,7 @@ extra-deps:
 # for hledger-ui:
 - brick-0.13
 - text-zipper-0.8.1
-- vty-5.11.3
+- vty-5.13
 # for hledger-web:
 - wai-handler-launch-3.0.2.1