✗ Solve failed — no dependency solution was found for this package version on Debian trixie, so it was never built. The solver's explanation:

Can't find all required versions.
Selected: astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base basement.v0.18~preview.130.106+341
          bos.0.3.0 camlp-streams.5.0.1 camlp5-buildscripts.0.07
          capsule0.v0.18~preview.130.106+341 cmdliner.2.1.1 conf-autoconf.1
          conf-bash.1 conf-gmp.5 conf-libpcre2-8.2 conf-m4.1 conf-perl.2
          conf-pkg-config.5 conf-which.1 csexp.1.5.2 cstruct.6.3.0
          dune.3.24.2 dune-compiledb.0.6.0 dune-configurator.3.24.2
          ezjsonm.1.3.0 fmt.0.11.0 fpath.0.7.3 hex.1.5.0 jsonm.1.0.2
          ledit.2.08 logs.0.10.0 nonempty_list_type.v0.18~preview.130.106+341
          not-ocamlfind.0.15 num.1.6 ocaml-compiler-libs.v0.17.0+ox
          ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1+ox
          ocamlfind.1.9.8+ox ocamlgraph.2.2.0
          odoc-parser.3.2.1+master.1791558161.c213704 oxcaml.latest
          oxcaml-patch-guards.ox parsexp.v0.18~preview.130.106+341
          pcre2.8.0.4 ppx_derivers.1.2.1
          ppx_helpers.v0.18~preview.130.106+341
          ppx_js_style.v0.18~preview.130.106+341
          ppx_sexp_conv.v0.18~preview.130.106+341
          ppx_template.v0.18~preview.130.106+341 ppxlib_ast.0.33.0+ox2
          ppxlib_jane.v0.18~preview.130.106+341 re.1.14.0+ox rresult.0.7.0
          seq.base sexp_type.v0.18~preview.130.106+341
          sexplib.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 stdlib-shims.0.3.0
          topkg.1.1.1+ox unique.v0.18~preview.130.106+341 uutf.1.0.4+ox
          zarith.1.14 ocaml-variants&hol_light ocaml ocaml-base-compiler
          ocaml-base-compiler base-domains ocaml-base-compiler
          oxcaml-angstrom-patches ocaml
          ocaml&ocaml-base-compiler&camlp5&zarith&ledit
- camlp5 -> camlp5.8.03.06
    ocaml&camlp5|ocaml&camlp5|ocaml&num&camlp5&ledit|ocaml&num&camlp5&ledit|ocaml&num&camlp5&ledit|ocaml&ocaml-base-compiler&camlp5&zarith&ledit ocaml&ocaml-base-compiler&camlp5&zarith&ledit requires >= 8.0 & < 8.04
- hol_light -> hol_light.3.1.0
    User requested = 3.1.0
- ocaml -> ocaml.5.2.0
    User requested = 5.2.0
- ocaml-base-compiler -> (problem)
    Rejected candidates:
      ocaml-base-compiler.5.5.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.3.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.0.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.4: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
- ocaml-variants -> ocaml-variants.5.2.0+ox
    User requested = 5.2.0+ox
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires oxcaml-compiler not(< 5.4.0-ox1)
- oxcaml-compiler -> oxcaml-compiler.5.2.0minus39
    basement v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppxlib -> ppxlib.0.35.0
    ppx_helpers v0.18~preview.130.106+341 requires >= 0.33.0 & < 0.36.0

If you believe hol_light.3.1.0 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue