diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |