diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index b7b152e7..48aec028 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -62,7 +62,7 @@ RUN apt-get update && apt-get install -y \ RUN echo "en_US.UTF-8 UTF-8" > /etc/locale.gen && locale-gen ENV LANG en_US.utf8 -ENV OCAML_VERSION 4.12.0 +ENV OCAML_VERSION 4.14.2 # Base packaged needed to build packages and their package dependencies RUN apt-get update && apt-get install -y \ @@ -150,7 +150,7 @@ RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ # Build VyConf which is required to build libvyosconfig RUN eval $(opam env --root=/opt/opam --set-root) && \ - opam pin add vyos1x-config https://github.com/vyos/vyos1x-config.git#8c65eb12 -y + opam pin add vyos1x-config https://github.com/vyos/vyos1x-config.git#b7f104781 -y # Packages needed for libvyosconfig RUN apt-get update && apt-get install -y \ |