diff --git a/coq-gpfsl.opam b/coq-gpfsl.opam
index 4e49562addb47284d1d37d25d6841cdf20016efb..020e174e3f15ac15024faabecb59361af97cfcde 100644
--- a/coq-gpfsl.opam
+++ b/coq-gpfsl.opam
@@ -10,7 +10,7 @@ version: "dev"
 synopsis: "A combination of GPS and FSL in the promising semantics WITHOUT promises"
 
 depends: [
-  "coq-iris"  { (= "dev.2024-08-20.0.657b34ad") | (= "dev") }
+  "coq-iris"  { (= "dev.2024-08-30.0.efb542b0") | (= "dev") }
   "coq-orc11" {= version}
 ]
 
diff --git a/coq-orc11.opam b/coq-orc11.opam
index 01d209392e0ee372651735a8463794324c864d98..d9be30f77b9a338452706b2eee5328a26686d2b1 100644
--- a/coq-orc11.opam
+++ b/coq-orc11.opam
@@ -10,7 +10,7 @@ version: "dev"
 synopsis: "A Coq formalization of the ORC11 semantics for weak memory"
 
 depends: [
-  "coq-stdpp" { (= "dev.2024-08-16.0.6190d85d") | (= "dev") }
+  "coq-stdpp" { (= "dev.2024-08-30.1.8548ce42") | (= "dev") }
 ]
 
 build: ["./make-package" "orc11" "-j%{jobs}%"]