diff --git a/docker/Dockerfile b/docker/Dockerfile index 61b530d7b63022d12e87d5f784902f409c6a7688..c7699a22154dee06b98a1cc33463e24d49d81fbd 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,5 +1,5 @@ # Keep distro in sync with CI builder! We run perf inside the container, needs to work with host kernel. -FROM debian:buster +FROM debian:bookworm # apt package installation # gmp: needed by Coq