Fix equations dependency

MetaCoq · Jul 1, 2022 · 2db84ca · 2db84ca
1 parent f174935
commit 2db84ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -29,7 +29,7 @@ depends: [
   "stdlib-shims"
   "ocaml" {>= "4.07.1"}
   "coq" { > "8.16~" & < "8.17~" }
-  "coq-equations" { = "1.0+8.16" }
+  "coq-equations" { = "1.3+8.16" }
 ]
 synopsis: "A quoting and unquoting library for Coq in Coq"
 description: """