diff --git a/opam b/opam
index f614c3b5832a83090e6d331a720a07454c9790fb..f5996e88527c6de95d73ee9da95e478e15bc1dd1 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-04-07.0.efcb9e71") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-04-23.0.4f1d6501") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]