From 6cb176f26dfb322502809031c7550ff8356f9f91 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 5 Dec 2024 18:12:04 +0800
Subject: [PATCH] Requires OCaml 4.13

---
 coq-certicoq.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-certicoq.opam b/coq-certicoq.opam
index 90b5c0d2..4ac029f3 100644
--- a/coq-certicoq.opam
+++ b/coq-certicoq.opam
@@ -30,7 +30,7 @@ install: [
   [make "install"]
 ]
 depends: [
-  "ocaml"
+  "ocaml" {>= "4.13"}
   "conf-clang"
   "stdlib-shims"
   "coq" {>= "8.19" & < "8.20~"}