From 73b43f2630872d3a7157e6d0546dca224d3df513 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Wed, 8 Nov 2023 10:57:20 +0100
Subject: [PATCH] Fix renamed dependency

---
 dodona-r.dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dodona-r.dockerfile b/dodona-r.dockerfile
index 35b587d..6144223 100644
--- a/dodona-r.dockerfile
+++ b/dodona-r.dockerfile
@@ -14,7 +14,7 @@ RUN apt-get update && \
       libssl-dev \
       libtiff5-dev=4.5.1+git230720-1 \
       libxml2-dev=2.9.14+dfsg-1.3 \
-      procps=2:4.0.3-1 \
+      libproc2-0 \
       && \
   apt-get clean && \
   rm -rf /var/lib/apt/lists/* && \