diff --git a/opam b/opam
index 1d0d0888047db292977babf3978c9f794e7df87d..07310d17d88a221494de37c567ad1ff1d84e07d4 100644
--- a/opam
+++ b/opam
@@ -9,5 +9,5 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/actris" ]
 depends: [
-  "coq-iris" { (= "dev.2020-03-16.0.62be0a86") | (= "dev") }
+  "coq-iris" { (= "dev.2020-04-01.4.6b759b62") | (= "dev") }
 ]