diff --git a/coq-simuliris.opam b/coq-simuliris.opam
index 7570856c03878f4f2cd8f78adaec191d196ff171..21099f4cd4d27b2d28b535b337d9118e4a04cfe6 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.2023-05-03.3.85295b18") | (= "dev") }
+  "coq-iris" { (= "dev.2023-05-05.0.670f2330") | (= "dev") }
   "coq-equations" { (= "1.3+8.17") }
 ]