diff --git a/Dockerfile b/Dockerfile index be5acd2..b8398e2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -47,7 +47,7 @@ RUN apt-get update --yes && \ libcurl4-gnutls-dev \ libsodium-dev \ libudunits2-dev \ - libglpk + libglpk40 RUN mkdir -p /opt/workspace-lib RUN mkdir /var/log/workspace-lib