coq-metacoq-template.8.17.dev: bound OCaml version

coq · Jan 23, 2024 · c292c3b · c292c3b
1 parent 3dc8cc2
commit c292c3b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/coq-metacoq-template/coq-metacoq-template.8.17.dev/opam b/extra-dev/packages/coq-metacoq-template/coq-metacoq-template.8.17.dev/opam
@@ -27,6 +27,7 @@ install: [
   [make "-C" "template-coq" "install"]
 ]
 depends: [
+  "ocaml" {>= "4.13"}
   "coq-metacoq-common" {= version}
 ]
 synopsis: "A quoting and unquoting library for Coq in Coq"