bump gpfsl

ae77ce4f · Hai Dang · ffa7e114 · ae77ce4f
Commit ae77ce4f authored 4 years ago by Hai Dang
--- a/opam
+++ b/opam
@@ -16,7 +16,7 @@ This branch uses a proper weak memory model.
 """

 depends: [
-  "coq-gpfsl" { (= "dev.2020-10-30.0.93f5a686") | (= "dev") }
+  "coq-gpfsl" { (= "dev.2020-11-05.0.a8de2115") | (= "dev") }
 ]

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