diff --git a/opam b/opam
index 46fb02f8868561149088a0d6b101ca817b657686..866ad3bd841a998800f79a6f04d5cd527fa45e88 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-06-19.0.1c30e9d2") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-06-19.2.6c60d47a") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]