update opam dependency

a6a57635 · Ralf Jung · a971f9f4 · a6a57635
Commit a6a57635 authored 8 months ago by Ralf Jung
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -27,7 +27,7 @@ tags: [
 ]

 depends: [
-  "coq" { (>= "8.18" & < "8.21~") | (= "dev") }
+  "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
  "coq-stdpp" { (= "dev.2024-09-11.0.f6973baf") | (= "dev") }
 ]