diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 4f7375e0..18b8a401 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -129,7 +129,7 @@ RUN curl https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh \ opam init --root=/opt/opam --comp=4.09.0 --disable-sandboxing RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ - pcre + pcre re RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ ctypes.0.16.0 \ |