✗ 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: base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base camlzip.1.14 conf-autoconf.1
          conf-gmp.5 conf-pkg-config.5 conf-which.1 conf-zlib.1 num.1.6
          ocaml-config.3 ocaml-options-vanilla.1 ocamlfind.1.9.8+ox
          oxcaml.latest oxcaml-compiler.5.2.0minus39 oxcaml-patch-guards.ox
          zarith.1.14 ocaml-variants&satML-plugin ocaml ocaml-base-compiler
          ocaml-base-compiler base-domains ocaml-base-compiler
          oxcaml-angstrom-patches
- alt-ergo -> (problem)
    satML-plugin 1.30 requires = 1.30
    Rejected candidates:
      alt-ergo.2.6.4: Incompatible with restriction: = 1.30
      alt-ergo.2.6.3: Incompatible with restriction: = 1.30
      alt-ergo.2.6.2: Incompatible with restriction: = 1.30
      alt-ergo.2.6.1: Incompatible with restriction: = 1.30
      alt-ergo.2.6.0: Incompatible with restriction: = 1.30
      alt-ergo.2.5.4: Incompatible with restriction: = 1.30
      alt-ergo.2.5.3: Incompatible with restriction: = 1.30
      alt-ergo.2.5.2: Incompatible with restriction: = 1.30
      alt-ergo.2.5.1: Incompatible with restriction: = 1.30
      alt-ergo.2.4.3: Incompatible with restriction: = 1.30
      alt-ergo.2.4.2: Incompatible with restriction: = 1.30
      alt-ergo.2.4.1: Incompatible with restriction: = 1.30
      alt-ergo.2.4.0: Incompatible with restriction: = 1.30
      alt-ergo.2.3.3: Incompatible with restriction: = 1.30
      alt-ergo.2.3.2: Incompatible with restriction: = 1.30
      alt-ergo.2.3.1: Incompatible with restriction: = 1.30
      alt-ergo.2.3.0: Incompatible with restriction: = 1.30
      alt-ergo.2.2.0: Requires camlzip < 1.08
      alt-ergo.2.1.0: Requires camlzip < 1.08
      alt-ergo.2.0.0: Requires camlzip < 1.08
      alt-ergo.1.30: Requires camlzip < 1.08
      alt-ergo.1.01: Requires ocaml < 5.0
      alt-ergo.0.99.1: Requires ocaml < 5.0
      alt-ergo.0.95.2: Requires ocaml < 5.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
- ocplib-simplex -> ocplib-simplex.0.3
    satML-plugin 1.30 requires = 0.3
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires oxcaml-compiler not(< 5.4.0-ox1)
- satML-plugin -> satML-plugin.1.30
    User requested = 1.30

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