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/* && \