update dependencies

d31d88f3 · Ralf Jung · e2e30a60 · d31d88f3
Commit d31d88f3 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.0.4f1d6501") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-04-23.2.4ab58855") | (= "dev") }
 ]

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