diff --git a/coq-diaframe.opam b/coq-diaframe.opam
index 256428a6ca1fde38524f5a98e311e52e38fbf800..cfb9dcdcb4a054b13101595947269cc87e81a989 100644
--- a/coq-diaframe.opam
+++ b/coq-diaframe.opam
@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
 homepage: "https://gitlab.mpi-sws.org/iris/diaframe/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
 depends: [
-  "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-08-30.0.efb542b0" ) | = "dev" | = "4.1.0" }
+  "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-09-05.0.f6ed0921" ) | = "dev" | = "4.1.0" }
   "coq" { >= "8.18" & < "8.20~" }
 ]
 build: [make "-j%{jobs}%" "diaframe"]