Merge pull request #28916 from aqjune/holcamlp5

Set upperbound of camlp5 version of HOL Light

Author: raphael-proust

packages/hol_light/hol_light.3.0.0/opam

@@ -51,7 +51,7 @@ depends: [
   |
   ("ocaml" {>= "4.14.0"} &
    "ocaml-base-compiler" &
-   "camlp5" {>= "8.0"} &
+   "camlp5" {>= "8.0" & < "8.04"} &
    "zarith" {>= "1.5"} &
    "ledit")
 ]

packages/hol_light/hol_light.3.1.0/opam

@@ -51,7 +51,7 @@ depends: [
   |
   ("ocaml" {>= "4.14.0"} &
    "ocaml-base-compiler" &
-   "camlp5" {>= "8.0"} &
+   "camlp5" {>= "8.0" & < "8.04"} &
    "zarith" {>= "1.5"} &
    "ledit")
 ]