fix original distrib, now compatible with OCaml 5.4

Author: claudemarche

packages/why3-coq/why3-coq.1.8.2/opam

@@ -40,7 +40,7 @@ install: [make "install-coq"]
 depends: [
   "conf-autoconf" {build & dev}
   "coq" {>= "8.16" & < "9.0"}
-  "ocaml" {>= "4.09" & < "5.4"}
+  "ocaml" {>= "4.09" & < "5.5"}
   "ocamlfind" {build}
   "why3" {= version}
 ]
@@ -61,7 +61,7 @@ This package provides the Coq realizations of Why3 theories."""
 url {
   src: "https://why3.gitlabpages.inria.fr/releases/why3-1.8.2.tar.gz"
   checksum: [
-    "sha256=ec985fa111de3e870e6fb3e22092c05ab8d0f5314eff5e2a766cbd59a9ac0f0a"
-    "md5=90fd07a4aad44fd8997754af5818550b"
+    "sha256=b7d112edd5bcce6bcce0023d2bc834eb2ae1a1c42d7aea44ffa124d649b50bea"
+    "md5=76244d73d2cdaff1dbae867b60d0aa0d"
   ]
 }

packages/why3-ide/why3-ide.1.8.2/opam

@@ -41,7 +41,7 @@ install: [make "install-ide"]
 
 depends: [
   "conf-autoconf" {build & dev}
-  "ocaml" {>= "4.09" & < "5.4"}
+  "ocaml" {>= "4.09" & < "5.5"}
   "ocamlfind" {build}
   "why3" {= version}
   "lablgtk3"
@@ -60,7 +60,7 @@ This package provides an IDE for Why3."""
 url {
   src: "https://why3.gitlabpages.inria.fr/releases/why3-1.8.2.tar.gz"
   checksum: [
-    "sha256=ec985fa111de3e870e6fb3e22092c05ab8d0f5314eff5e2a766cbd59a9ac0f0a"
-    "md5=90fd07a4aad44fd8997754af5818550b"
+    "sha256=b7d112edd5bcce6bcce0023d2bc834eb2ae1a1c42d7aea44ffa124d649b50bea"
+    "md5=76244d73d2cdaff1dbae867b60d0aa0d"
   ]
 }

packages/why3/why3.1.8.2/opam

@@ -52,7 +52,7 @@ install: [
 
 depends: [
   "conf-autoconf" {build & dev}
-  "ocaml" {>= "4.09" & < "5.4"}
+  "ocaml" {>= "4.09" & < "5.5"}
   "ocamlfind" {build}
   "menhir" {>= "20200211"}
   "zarith"
@@ -83,7 +83,7 @@ Why3 is a complete reimplementation of the former Why platform. Among the new fe
 url {
   src: "https://why3.gitlabpages.inria.fr/releases/why3-1.8.2.tar.gz"
   checksum: [
-    "sha256=ec985fa111de3e870e6fb3e22092c05ab8d0f5314eff5e2a766cbd59a9ac0f0a"
-    "md5=90fd07a4aad44fd8997754af5818550b"
+    "sha256=b7d112edd5bcce6bcce0023d2bc834eb2ae1a1c42d7aea44ffa124d649b50bea"
+    "md5=76244d73d2cdaff1dbae867b60d0aa0d"
   ]
 }