diff --git a/coq-gpfsl.opam b/coq-gpfsl.opam
index b6210464ebe6245e1ce9c8238b0719a39c1b1efa..041fe5405bb9c0089a3e1bc2053f13e8228bd4f3 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-02-06.0.66d2e339") | (= "dev") }
+  "coq-iris"  { (= "dev.2024-02-16.1.06f499e0") | (= "dev") }
   "coq-orc11" {= version}
 ]