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"}