diff --git a/Dockerfile b/Dockerfile index 8ea3b16..bd5320a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM ocamlsf/learn-ocaml:0.12 +FROM ocamlsf/learn-ocaml:0.13.1 USER root RUN apk add coreutils dumb-init py3-pip zip unzip \