coq-equations.1.3+8.18

MetaCoq · Oct 5, 2023 · e96b809 · e96b809
1 parent efe2b96
commit e96b809
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
@@ -30,7 +30,7 @@ install: [
 depends: [
   "stdlib-shims"
   "coq" { >= "8.18" & < "8.19~" }
-  "coq-equations" { = "1.3" }
+  "coq-equations" { = "1.3+8.18" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """