✗ 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: alt-ergo.2.6.4 alt-ergo-lib.2.6.4 alt-ergo-parsers.2.6.4
          base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base basement.v0.18~preview.130.106+341
          camlzip.1.14 cmdliner.2.1.1 conf-autoconf.1 conf-gmp.5
          conf-pkg-config.5 conf-which.1 conf-zlib.1 cppo.1.8.0 csexp.1.5.2
          dolmen.0.10 dolmen_loop.0.10 dolmen_type.0.10 dune.3.24.2
          dune-build-info.3.24.2 dune-private-libs.3.24.2 dune-site.3.24.2
          dyn.3.24.2 fmt.0.11.0 fs-io.3.24.2 gen.1.1 hmap.0.8.1 logs.0.10.0
          ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
          ocaml-options-vanilla.1 ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox
          ocplib-simplex.0.5.1 ordering.3.24.2 oxcaml.latest
          oxcaml-patch-guards.ox pp.2.0.0 pp_loc.2.1.0 ppx_blob.0.9.0
          ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppxlib.0.39.0
          psmt2-frontend.0.4.0 seq.base sexp_type.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 spelll.0.4 stdlib-shims.0.3.0
          stdune.3.24.2 top-closure.3.24.2 topkg.1.1.1+ox uutf.1.0.4+ox
          zarith.1.14 ocaml-variants&alt-ergo-plugin-ab-why3 ocaml
          ocaml-base-compiler ocaml-base-compiler base-domains
          ocaml-base-compiler oxcaml-angstrom-patches ocaml
- alt-ergo-plugin-ab-why3 -> alt-ergo-plugin-ab-why3.2.6.4
    User requested = 2.6.4
- menhir -> menhir.20250912
    dolmen 0.10 requires >= 20211230 & < 20260112
- menhirCST -> menhirCST.20250912
    menhir 20250912 requires = 20250912
- menhirLib -> menhirLib.20250912
    menhir 20250912 requires = 20250912
- menhirSdk -> menhirSdk.20250912
    menhir 20250912 requires = 20250912
- 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)

If you believe alt-ergo-plugin-ab-why3.2.6.4 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue