From a46b29d68c321d19f8b53c90b684ed7cfd510b9f Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Tue, 16 Jan 2024 19:02:25 +0000
Subject: [PATCH] Core requires OCaml >= 4.10

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

diff --git a/coq-freespec-core.opam b/coq-freespec-core.opam
index 139d1a2..d53213e 100644
--- a/coq-freespec-core.opam
+++ b/coq-freespec-core.opam
@@ -23,7 +23,7 @@ build: [
 ]
 
 depends: [
-  "ocaml"
+  "ocaml" {>= "4.10"}
   "dune" {>= "2.5"}
   "coq" {>= "8.12" & < "8.14~" | = "dev"}
   "coq-ext-lib" {>= "0.11.2" | = "dev"}