diff --git a/coq-lambda-rust.opam b/coq-lambda-rust.opam
index a742e338f04675cf66c5c53eaa8dd6b948a9ef9c..00dbbb8bea6ec0be9f93c534f24282b4e25f9155 100644
--- a/coq-lambda-rust.opam
+++ b/coq-lambda-rust.opam
@@ -13,7 +13,7 @@ the type system, and safety proof for some Rust libraries.
 """
 
 depends: [
-  "coq-iris" { (= "dev.2021-05-02.0.6a1f68dc") | (= "dev") }
+  "coq-iris" { (= "dev.2021-05-05.0.6f18e8cd") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]