diff --git a/containers/debian/Dockerfile b/containers/debian/Dockerfile index 417e939f0a08c36387db704750d60356e09d6470..c39bb56730db5226a78944853bf69b712e78ef75 100644 --- a/containers/debian/Dockerfile +++ b/containers/debian/Dockerfile @@ -47,6 +47,8 @@ RUN --mount=type=cache,target=/var/cache/apt \ gv \ poppler-utils \ parallel \ + time \ + valgrind \ && localedef -i en_US -f UTF-8 en_US.UTF-8 \ && update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 100 \ && update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-10 100 \