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
index 36a1522e8..2f0c4da94 100644
--- 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"