From 1bf2f8f7f5b38373630c1682cc8b2bb3ee3a1442 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Wed, 17 Apr 2024 19:42:12 +0200
Subject: [PATCH] Add the libglpk40 package.

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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