diff --git a/opam b/opam
index 0f86070639fe1199ee5f5f7ffd133bd023d9b0df..340f66ec836f27550eec7d918c70e9a1feab6e8a 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-04-23.2.4ab58855") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-05-08.0.29d1f725") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]