From 862f68b60a2121fad4a2d4a80bb0949384e4a728 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Sun, 25 Oct 2026 22:06:45 +0000
Subject: [PATCH] build(deps): update docker.io/library/rust:1.99.1-bookworm
 docker digest to 48b7f43

---
 xtask/proofs/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xtask/proofs/Dockerfile b/xtask/proofs/Dockerfile
index 406d1abd..816f5adc 100644
--- a/xtask/proofs/Dockerfile
+++ b/xtask/proofs/Dockerfile
@@ -1,5 +1,5 @@
 # Linux verification host for `xtask proofs` where Kani has no native build.
-FROM docker.io/library/rust:1.99.1-bookworm@sha256:e12566d5abc17a0da741628782cdb504b68b8961f5bfcf677936bf3e8b32de29
+FROM docker.io/library/rust:1.99.1-bookworm@sha256:48b7f435b8fc6378ce43b44f15e3a47fd8919b2825f835c39bd4bd3da50af5b8
 
 RUN cargo install --locked kani-verifier --version 0.68.0 \
     && cargo kani setup \