diff --git a/opam b/opam
index 6bb6358c14ffecd34df276a5db4c405e3f5bde05..8b10ded910d936406821fb40e4464abc9182ba8f 100644
--- a/opam
+++ b/opam
@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/FP/iris-examples.git"
 synopsis: "A collection of case studies for Iris"
 
 depends: [
-  "coq-iris" { (= "dev.2020-04-02.5.fa438702") | (= "dev") }
+  "coq-iris" { (= "dev.2020-04-04.2.c2367a65") | (= "dev") }
   "coq-autosubst" { = "dev.coq86" }
 ]