diff --git a/coq-iris.opam b/coq-iris.opam
index 6f9380e5aeb5dc3a00d543389cdb96fc89881c44..4135e085de09ef658a2429af1e8b43c3852cb52b 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -27,7 +27,7 @@ tags: [
 ]
 
 depends: [
-  "coq" { (>= "8.14" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.15" & < "8.18~") | (= "dev") }
   "coq-stdpp" { (= "dev.2023-05-02.2.5ea9d5a4") | (= "dev") }
 ]