Add the libglpk40 package.

2024-04-17 19:42:12 +02:00 · 2024-04-17 19:42:12 +02:00 · 1bf2f8f7f5
parent f11a4028c2
commit 1bf2f8f7f5
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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