fix(build): Update opam dependencies

Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
accordproject · Mar 9, 2022 · 661001a · 661001a
1 parent e29bd7c
commit 661001a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/coq-ergo-lang.opam b/coq-ergo-lang.opam
@@ -27,10 +27,9 @@ depends: [
   "ocaml" {>= "4.07.1"}
   "ocamlfind"
   "dune"
-  "coq" {>= "8.8.2" & < "8.9~"}
-  "coq-flocq" {>= "2.6.1" & < "3.0~"}
-  "coq-jsast" {>= "1.0.9"}
-  "coq-qcert" {>= "2.0.0~alpha.1"}
+  "coq" {= "8.11.2"}
+  "coq-jsast" {>= "2.0.0"}
+  "coq-qcert" {>= "2.1.0"}
   "menhir"
   "base64"
   "uri"