From b58e292fc914efd3cb27eb0bb5c08ea9f0cb3b0d Mon Sep 17 00:00:00 2001
From: =?utf8?q?V=C3=ADctor=20L=C3=B3pez=20Juan?= <victor@lopezjuan.com>
Date: Sun, 24 Sep 2017 12:01:21 +0200
Subject: [PATCH] Build with stack LTS 9.5 resolver

---
 cubicaltt.cabal | 4 ++--
 stack.yaml      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/cubicaltt.cabal b/cubicaltt.cabal
index ceae145..2a37780 100644
--- a/cubicaltt.cabal
+++ b/cubicaltt.cabal
@@ -45,8 +45,8 @@ executable cubical
     pretty >=1.1 && <1.2,
     QuickCheck >=2.6 && <2.10,
     mtl >=2.2 && <2.3,
-    time >=1.4 && <1.6,
-    directory >=1.2 && <1.3,
+    time >=1.4 && <1.7,
+    directory >=1.2 && <1.4,
     filepath >=1.4 && <1.5,
     haskeline >=0.7 && <0.8,
     array >=0.4 && <0.6,
diff --git a/stack.yaml b/stack.yaml
index 9fa7223..9a07cdb 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-6.35
+resolver: lts-9.5
 
 packages:
 - .
-- 
2.34.1