From 62349dea3adc6b0039ac7d26cbe25209b23980fb Mon Sep 17 00:00:00 2001
From: Tuncer Ayaz <tuncer.ayaz@gmail.com>
Date: Sat, 23 Dec 2017 00:12:51 +0000
Subject: [PATCH 1/2] stack.yaml: update to lts-10.0

---
 stack.yaml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/stack.yaml b/stack.yaml
index 539cd6d..74e27d2 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,11 +1,4 @@
-resolver: lts-9.0
-
-extra-deps:
-  - monad-memo-0.4.1
-  - czipwith-1.0.0.0
-  - butcher-1.2.0.0
-  - data-tree-print-0.1.0.0
-  - deque-0.2
+resolver: lts-10.0
 
 packages:
   - .

From 7ba493ea38ebab4f5a0d424763ce5fd0186d910f Mon Sep 17 00:00:00 2001
From: Tuncer Ayaz <tuncer.ayaz@gmail.com>
Date: Sat, 23 Dec 2017 01:59:49 +0000
Subject: [PATCH 2/2] Resurrect old stack.yaml for lts-9.0 ci job

---
 .travis.yml        |  2 +-
 stack-lts-9.0.yaml | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 stack-lts-9.0.yaml

diff --git a/.travis.yml b/.travis.yml
index 58a0f33..e119ce0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -115,7 +115,7 @@ matrix:
   #- env: BUILD=stack ARGS="--resolver lts-7"
   #  compiler: ": #stack 8.0.1"
   #  addons: {apt: {packages: [libgmp-dev]}}
-  - env: BUILD=stack ARGS="--resolver lts-8"
+  - env: BUILD=stack ARGS="--stack-yaml stack-lts-9.0.yaml"
     compiler: ": #stack 8.0.2"
     addons: {apt: {packages: [libgmp-dev]}}
 
diff --git a/stack-lts-9.0.yaml b/stack-lts-9.0.yaml
new file mode 100644
index 0000000..539cd6d
--- /dev/null
+++ b/stack-lts-9.0.yaml
@@ -0,0 +1,11 @@
+resolver: lts-9.0
+
+extra-deps:
+  - monad-memo-0.4.1
+  - czipwith-1.0.0.0
+  - butcher-1.2.0.0
+  - data-tree-print-0.1.0.0
+  - deque-0.2
+
+packages:
+  - .