prevent compilation error when using OCaml 5.4

Author: claudemarche

packages/why3-coq/why3-coq.1.8.1/opam

@@ -40,7 +40,7 @@ install: [make "install-coq"]
 depends: [
   "conf-autoconf" {build & dev}
   "coq" {>= "8.16" & < "9.0"}
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.4"}
   "ocamlfind" {build}
   "why3" {= version}
 ]

packages/why3-ide/why3-ide.1.8.1/opam

@@ -41,7 +41,7 @@ install: [make "install-ide"]
 
 depends: [
   "conf-autoconf" {build & dev}
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.4"}
   "ocamlfind" {build}
   "why3" {= version}
   "lablgtk3"

packages/why3/why3.1.8.1/opam

@@ -52,7 +52,7 @@ install: [
 
 depends: [
   "conf-autoconf" {build & dev}
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.09" & < "5.4"}
   "ocamlfind" {build}
   "menhir" {>= "20200211"}
   "zarith"