diff options
author | Risto Stevcev <risto1@gmail.com> | 2016-10-02 22:04:42 +0200 |
---|---|---|
committer | Risto Stevcev <risto1@gmail.com> | 2016-10-02 22:04:42 +0200 |
commit | a7b4860a384ae46e86b3e7ff9c48b451bb793a1c (patch) | |
tree | e1287e7c9538e0cc7db165cb441d88bdd90239d6 | |
parent | c41dd150dd7221000d6df2858b1825b529691d98 (diff) | |
download | purescript-docker-a7b4860a384ae46e86b3e7ff9c48b451bb793a1c.tar.gz purescript-docker-a7b4860a384ae46e86b3e7ff9c48b451bb793a1c.tar.zst purescript-docker-a7b4860a384ae46e86b3e7ff9c48b451bb793a1c.zip |
Added 0.9.3
-rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ ENV PURESCRIPT_DOWNLOAD_SHA1 9e8ff98e1e5d0dbf34df5124dc42d3b73e9dc257 | |||
7 | RUN npm install -g bower pulp@9.0.1 | 7 | RUN npm install -g bower pulp@9.0.1 |
8 | 8 | ||
9 | RUN cd /opt \ | 9 | RUN cd /opt \ |
10 | && wget https://github.com/purescript/purescript/releases/download/v0.9.2/linux64.tar.gz \ | 10 | && wget https://github.com/purescript/purescript/releases/download/v0.9.3/linux64.tar.gz \ |
11 | && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ | 11 | && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ |
12 | && tar -xvf linux64.tar.gz \ | 12 | && tar -xvf linux64.tar.gz \ |
13 | && rm /opt/linux64.tar.gz | 13 | && rm /opt/linux64.tar.gz |