diff --git a/Dockerfile b/Dockerfile index 85c1976..ad89fbc 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,7 +21,7 @@ ENV DEBIAN_FRONTEND noninteractive # libraptor2-dev : Depends: libcurl4-gnutls-dev but it is not installable RUN apt-get update --yes && \ apt-get install --yes --no-install-recommends \ - libglpk + libglpk40 RUN mkdir -p /opt/workspace-lib RUN mkdir /var/log/workspace-lib