From fd5dd0cb84a195e798ba17547b68230b31a80f18 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 5 Jun 2023 12:38:58 +0200
Subject: [PATCH] Use Debian:12 for our build deps

---
 tools/docker/Dockerfile.build-deps | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 8fdaa14d53..8ce4d26d77 100644
--- 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
-- 
2.20.1