Idris2 v0.2.0

dgellow · Oct 23, 2020 · 68fda77 · 68fda77
1 parent af31d92
commit 68fda77
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Dockerfile_idris2 b/Dockerfile_idris2
@@ -1,10 +1,10 @@
-FROM dgellow/idris:v1.3.2 as base
+FROM dgellow/idris:v1.3.3 as base
 
-ARG VERSION=v0.1.0
+ARG VERSION=v0.2.0
 
 WORKDIR /
 RUN apt-get update && apt-get -y install build-essential git clang
-RUN git clone https://github.com/edwinb/Idris2.git
+RUN git clone https://github.com/idris-lang/Idris2.git
 WORKDIR /Idris2
 RUN git checkout ${VERSION}
 RUN make install