diff --git a/opam b/opam
index e4b0f02eb952a8cbd6ab509cbfa04909f716d1ea..910aadf30407559c6906071a6be47a0af16703b5 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-07-03.0.ce4c6d6b") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-07-15.0.654300d3") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]