Update packages/hol_light/hol_light.3.0.0/opam

Author: shonfeder

packages/hol_light/hol_light.3.0.0/opam

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