diff --git a/opam b/opam
index c9385ed3167bd743930e566b6b69ac58dddf82b4..2e92b663e868f142306005556fd66e7a9b5542ee 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-30.1.e28498f5") | (= "dev") }
+  "coq-iris" { (= "dev.2020-10-01.3.8f6c063a") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]