From 3af988a67156195f22c906a56d2c10ebf5ab74d8 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 3 Nov 2018 21:08:12 -0700
Subject: [PATCH] linux/Dockerfile - use resolver lts-12.12.

---
 linux/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/Dockerfile b/linux/Dockerfile
index 7d90ac757..e533f6c36 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -9,7 +9,7 @@ RUN chmod +x /usr/local/bin/stack
 ENV PATH="/usr/local/bin:${PATH}"
 RUN ulimit -n 4096
 RUN stack config set system-ghc --global true
-RUN stack setup --resolver lts-12
+RUN stack setup --resolver lts-12.12
 RUN mkdir -p /usr/src/
 WORKDIR /usr/src/
 RUN git clone https://github.com/jgm/pandoc