diff --git a/lustre-v6.opam b/lustre-v6.opam
index ccb6d80b9fc4d87897d51450b833d23eda6ad579..673eaaa4a7dce0d068d09672763f18722814a814 100644
--- a/lustre-v6.opam
+++ b/lustre-v6.opam
@@ -17,7 +17,7 @@ homepage: "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
 bug-reports:
   "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
 depends: [
-  "ocaml" {>= "4.05"}
+  "ocaml" {> "4.05"}
   "base-unix"
   "extlib" {build} | "extlib-compat" {build}
   "dune" {>= "2.0"}