diff --git a/opam b/opam
index 00a73abea156b7a69dca3e5411aa8bed70b8d8b1..0d07d0dfcbc15d4d9a5fc0094d45de71216f8774 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-09-02.0.0e241505") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-09-05.0.a8e8ebf3") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]