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

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

diff --git a/Dockerfile b/Dockerfile
index 2478f0b..765d321 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -13,7 +13,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