diff --git a/coq-simuliris.opam b/coq-simuliris.opam
index b723c13e938fff08e3f8060506f42afa4c2160ac..f95ed40e5166c554ecf9966b30edca1ecceef3bb 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-02.1.22b00293") | (= "dev") }
+  "coq-iris" { (= "dev.2024-10-30.0.27f837c1") | (= "dev") }
   "coq-equations" { (= "1.3+8.19") | (= "1.3.1+8.20") }
 ]