Update opam file dependencies for 8.20 version

MetaCoq · Jul 9, 2024 · 13a6852 · 13a6852
1 parent 052e6fc
commit 13a6852
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
@@ -28,8 +28,8 @@ install: [
   [make "-C" "utils" "install"]
 ]
 depends: [
-  "coq" { = "dev" }
-  "coq-equations" { = "dev" }
+  "coq" { >= "8.20" & < "8.21~" }
+  "coq-equations" { = "1.3.1+8.20" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """