diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 12f8c324..d951a8ff 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -186,8 +186,7 @@ RUN apt-get update && apt-get install -y \ # Packages needed for libvyosconfig && VyConf RUN apt-get update && apt-get install -y \ - libffi-dev \ - menhir + libffi-dev # Packages needed for libvyosconfig RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh --output /tmp/opam_install.sh && \ |