diff --git a/opam b/opam
index a12c3e4ff785b7797824d43d2105e5df27290b8c..bfd16df3d1dfe6b057b2c7235bb2786658a0e7dd 100644
--- a/opam
+++ b/opam
@@ -14,7 +14,7 @@ the type system, and safety proof for some Rust libraries.
 """
 
 depends: [
-  "coq-iris" { (= "dev.2020-10-30.0.6dba10c0") | (= "dev") }
+  "coq-iris" { (= "dev.2020-11-11.0.1346311d") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]