Fix renamed dependency

dodona-edu · Nov 8, 2023 · 73b43f2 · 73b43f2
1 parent 48986e2
commit 73b43f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/* && \