diff --git a/supplements/coq-diaframe-iris-examples.opam b/supplements/coq-diaframe-iris-examples.opam
index 7a49ba083986ee7de7622fe81ba5bd40ac318d57..7a6815c0da79df27e428200f9993a090f6ab5df2 100644
--- a/supplements/coq-diaframe-iris-examples.opam
+++ b/supplements/coq-diaframe-iris-examples.opam
@@ -10,7 +10,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
 depends: [
   "coq" { = "8.20.0" }
   "coq-diaframe-heap-lang" {= version}
-  "coq-iris-examples" { = "dev.2025-01-25.0.e5afd885" | = "~dev" }
+  "coq-iris-examples" { = "dev.2025-02-05.0.9806de16" | = "~dev" }
 ]
 build: [make "-j%{jobs}%" "diaframe-iris-examples"]
 install: [make "install-diaframe-iris-examples"]