Use Debian:12 for our build deps

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 8fdaa14..8ce4d26 100644 (file)
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -1,5 +1,5 @@
-# Base image
-FROM debian:11
+# Base image: bookworm is Debian 12
+FROM debian:bookworm
 
 # Install the dependencies:
 #  - of the website