diff --git a/core-dev/packages/rocq-runtime/rocq-runtime.9.3+rc1/opam b/core-dev/packages/rocq-runtime/rocq-runtime.9.3+rc1/opam
index 967a3f471..b056024db 100644
--- a/core-dev/packages/rocq-runtime/rocq-runtime.9.3+rc1/opam
+++ b/core-dev/packages/rocq-runtime/rocq-runtime.9.3+rc1/opam
@@ -26,7 +26,7 @@ doc: "https://rocq-prover.org/docs"
 bug-reports: "https://github.com/rocq-prover/rocq/issues"
 depends: [
   "dune" {>= "3.21"}
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.14.0"}
   "ocamlfind" {>= "1.8.1"}
   "zarith" {>= "1.11"}
   "conf-linux-libc-dev" {os = "linux"}
diff --git a/core-dev/packages/rocq-runtime/rocq-runtime.9.3.dev/opam b/core-dev/packages/rocq-runtime/rocq-runtime.9.3.dev/opam
index fe62bca4d..c0a2b1a7e 100644
--- a/core-dev/packages/rocq-runtime/rocq-runtime.9.3.dev/opam
+++ b/core-dev/packages/rocq-runtime/rocq-runtime.9.3.dev/opam
@@ -26,7 +26,7 @@ doc: "https://rocq-prover.org/docs"
 bug-reports: "https://github.com/rocq-prover/rocq/issues"
 depends: [
   "dune" {>= "3.21"}
-  "ocaml" {>= "4.09.0"}
+  "ocaml" {>= "4.14.0"}
   "ocamlfind" {>= "1.8.1"}
   "zarith" {>= "1.11"}
   "conf-linux-libc-dev" {os = "linux"}