diff --git a/opam b/opam
index ab5424360342266599d118d339104673b5400e1c..535a6fcd5a95cd678f0aee3c94fa70131e90eb4d 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-03-11.0.7c4bb506") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-03-13.1.a3c28a3c") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]