From 381b3c7bc923e143205b09aabedf0770bc31d27b Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Wed, 24 Apr 2019 18:14:39 +0200 Subject: dockerfile: upgrade to `dhall-to-json@1.2.7` --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 318469a..5eaa0a1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,6 +6,6 @@ RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2930ADAE8CAF505 RUN echo "deb http://repo.mongodb.org/apt/debian jessie/mongodb-org/3.6 main" > /etc/apt/sources.list.d/mongodb-org-3.6.list RUN apt-get update RUN apt-get install -y mongodb-org-tools mongodb-org-shell -RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.20.1/dhall-json-1.20.1-x86_64-linux.tar.bz2 && \ - tar -xf dhall-json-1.20.1-x86_64-linux.tar.bz2 && \ +RUN curl -LO https://github.com/dhall-lang/dhall-haskell/releases/download/1.21.0/dhall-json-1.2.7-x86_64-linux.tar.bz2 && \ + tar -xf dhall-json-1.2.7-x86_64-linux.tar.bz2 && \ mv ./bin/dhall-to-json /usr/bin -- cgit v1.2.3