diff --git a/opam b/opam
index d573b8999e6bb9edbfaaa956be55467c21391b17..c9385ed3167bd743930e566b6b69ac58dddf82b4 100644
--- a/opam
+++ b/opam
@@ -14,7 +14,7 @@ the type system, and safety proof for some Rust libraries.
 """
 
 depends: [
-  "coq-iris" { (= "dev.2020-09-29.7.19ba2bc0") | (= "dev") }
+  "coq-iris" { (= "dev.2020-09-30.1.e28498f5") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]