diff --git a/coq-iris.opam b/coq-iris.opam
index 87e22af29c7560d9c7bc8d74be5940e9a1dff622..6165456d44e0090d817169dd1bd9bacb01f9d970 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -10,7 +10,7 @@ synopsis: "Iris is a Higher-Order Concurrent Separation Logic Framework with sup
 
 depends: [
   "coq" { (>= "8.10.2" & < "8.13~") | (= "dev") }
-  "coq-stdpp" { (= "dev.2020-10-02.0.7ae77142") | (= "dev") }
+  "coq-stdpp" { (= "dev.2020-10-15.0.c6e5d0be") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]