diff --git a/coq-simuliris.opam b/coq-simuliris.opam
index f7d91ba6f1e000ca52e7fbc3687f433c7ce18182..06cc5342b4727bb02e75b034e62bc5d7a7bf996e 100644
--- a/coq-simuliris.opam
+++ b/coq-simuliris.opam
@@ -8,7 +8,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/simuliris.git"
 synopsis: "Local Simulation proofs, the Iris style"
 
 depends: [
-  "coq-iris" { (= "dev.2024-10-30.0.27f837c1") | (= "dev") }
+  "coq-iris" { (= "dev.2025-01-25.1.8a8f05fb") | (= "dev") }
   "coq-equations" { (= "1.3+8.19") | (= "1.3.1+8.20") | (= "dev") }
 ]