diff --git a/containers/debian/Dockerfile b/containers/debian/Dockerfile index 12ef906223eb6b7b1641b43a837a89e483b9fea8..a68b8938fd324e0896bbceec0d509df063316a46 100644 --- a/containers/debian/Dockerfile +++ b/containers/debian/Dockerfile @@ -50,6 +50,7 @@ RUN --mount=type=cache,target=/var/cache/apt \ gv \ poppler-utils \ parallel \ + bc \ time \ valgrind \ libyaml-cpp-dev \