update dependencies

1b5e892f · Ralf Jung · d31d88f3 · 1b5e892f
Commit 1b5e892f authored 4 years ago by Ralf Jung
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """

 depends: [
-  "coq-gpfsl" { (= "dev.2020-04-23.2.4ab58855") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-05-08.0.29d1f725") | (= "dev") }
 ]

 build: [make "-j%{jobs}%"]