diff --git a/coq-lambda-rust.opam b/coq-lambda-rust.opam
index 228746eea6dbf4caf69bbce212efd98857efd022..99df3cd082003228f9d76ac9d5978a853d5230b7 100644
--- a/coq-lambda-rust.opam
+++ b/coq-lambda-rust.opam
@@ -15,7 +15,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2023-06-05.0.4b355a65") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2023-09-30.0.941e58fb") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]