diff --git a/perennial.opam b/perennial.opam
index 88d786302..7d658fb5e 100644
--- a/perennial.opam
+++ b/perennial.opam
@@ -32,8 +32,8 @@ depends: [
 pin-depends: [
   ["coq-coqutil.dev"           "git+https://github.com/mit-plv/coqutil#cfd88cef005cda5ec400108606d27a0d40578a8f"]
   ["coq-record-update.dev"     "git+https://github.com/tchajed/coq-record-update#7b2645210331c3ec4ed75fa5ad0840a723f25151"]
-  ["rocq-stdpp.dev"            "git+https://gitlab.mpi-sws.org/iris/stdpp#6151984a1e2770649858f9d578023ffc1b337421"]
-  ["rocq-iris.dev"             "git+https://gitlab.mpi-sws.org/iris/iris#1e6e3a57d8ad52b880633cc69c979ff7e65d6fbc"]
+  ["rocq-stdpp.dev"            "git+https://gitlab.mpi-sws.org/iris/stdpp#d3c67aa46ed22b1e593457cd34fc711f1a53b8be"]
+  ["rocq-iris.dev"             "git+https://gitlab.mpi-sws.org/iris/iris#6ee29e87e5161deee96ad9df78e2e690aa7dfa3e"]
   ["iris-named-props.dev"      "git+https://github.com/tchajed/iris-named-props#ca663d2709888a789a03edc861b7bde86ddd56e5"]
 ]