From c1d26a20cc0eaa5730df09f1d4ad44bd95ff7bc4 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 23 Sep 2016 12:50:56 +0200
Subject: [PATCH] Use lts-7.0 in stack.yaml files.

---
 deb/stack.yaml     | 7 +------
 osx/stack.yaml     | 7 +------
 stack.full.yaml    | 6 +-----
 stack.yaml         | 5 +----
 windows/stack.yaml | 7 +------
 5 files changed, 5 insertions(+), 27 deletions(-)

diff --git a/deb/stack.yaml b/deb/stack.yaml
index eee7f0035..48a85a17c 100644
--- a/deb/stack.yaml
+++ b/deb/stack.yaml
@@ -14,11 +14,6 @@ flags:
 packages:
 - '..'
 extra-deps:
-- data-default-0.6.0
-- pandoc-citeproc-0.10.1
 - http-client-0.5.0
 - http-client-tls-0.3.0
-- 'cmark-0.5.3.1'
-- 'aeson-pretty-0.8.1'
-- 'texmath-0.8.6.5'
-resolver: lts-6.5
+resolver: lts-7.0
diff --git a/osx/stack.yaml b/osx/stack.yaml
index 7ae23e90b..372fcfe5d 100644
--- a/osx/stack.yaml
+++ b/osx/stack.yaml
@@ -17,11 +17,6 @@ ghc-options:
 packages:
 - '..'
 extra-deps:
-- 'pandoc-citeproc-0.10.1'
 - 'http-client-0.5.0'
 - 'http-client-tls-0.3.0'
-- 'data-default-instances-base-0.1.0.1'
-- 'cmark-0.5.3.1'
-- 'aeson-pretty-0.8.1'
-- 'texmath-0.8.6.5'
-resolver: nightly-2016-07-11
+resolver: lts-7.0
diff --git a/stack.full.yaml b/stack.full.yaml
index 7d01d279c..e405a4c27 100644
--- a/stack.full.yaml
+++ b/stack.full.yaml
@@ -22,8 +22,4 @@ packages:
 extra-deps:
 - http-client-0.5.0
 - http-client-tls-0.3.0
-- data-default-instances-base-0.1.0.1
-- cmark-0.5.3.1
-- aeson-pretty-0.8.1
-- texmath-0.8.6.5
-resolver: nightly-2016-07-11
+resolver: lts-7.0
diff --git a/stack.yaml b/stack.yaml
index e9b91905c..b1d68af03 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -10,7 +10,4 @@ packages:
 extra-deps:
 - http-client-0.5.0
 - http-client-tls-0.3.0
-- data-default-instances-base-0.1.0.1
-- cmark-0.5.3.1
-- texmath-0.8.6.5
-resolver: nightly-2016-07-11
+resolver: lts-7.0
diff --git a/windows/stack.yaml b/windows/stack.yaml
index a071d413a..4c3d844bb 100644
--- a/windows/stack.yaml
+++ b/windows/stack.yaml
@@ -14,11 +14,6 @@ flags:
 packages:
 - '..'
 extra-deps:
-- 'data-default-0.6.0'
-- 'pandoc-citeproc-0.10.1'
 - 'http-client-0.5.0'
 - 'http-client-tls-0.3.0'
-- 'cmark-0.5.3.1'
-- 'aeson-pretty-0.8.1'
-- 'texmath-0.8.6.5'
-resolver: lts-6.5
+resolver: lts-7.0