Merge pull request #27896 from aqjune/hol

Add ocaml-base-compiler to dependency of hol_light

Author: shonfeder

packages/hol_light/hol_light.3.0.0/opam

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