Update released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam

Co-authored-by: Karl Palmskog <[email protected]>
coq · Mar 31, 2023 · 4149def · 4149def
1 parent bef6bbc
commit 4149def
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam b/released/packages/coq-unicoq/coq-unicoq.1.6+8.17/opam
@@ -14,7 +14,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.16" & < "8.17~"}
+  "coq" {>= "8.17" & < "8.18~"}
 ]
 synopsis: "An enhanced unification algorithm for Coq"
 tags: [