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