diff --git a/opam b/opam
index f80f88503e3777c2dab6b5ebca0da3d5804447a3..260859fa17c55ffa2f7f73a8da7830dcaf46a7e8 100644
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """
 
 depends: [
-  "coq-gpfsl" { (= "dev.2020-03-16.0.43b7c428") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-03-21.0.2d3787d5") | (= "dev") }
 ]
 
 build: [make "-j%{jobs}%"]