✗ 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 conf-autoconf.1 conf-blas.1
          conf-gmp.5 conf-lapack.1 conf-pkg-config.5 conf-which.1 csexp.1.5.2
          dune.3.24.2 dune-configurator.3.24.2 lacaml.11.1.1 menhir.20260209
          menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209
          menhirSdk.20260209 ocaml-config.3 ocaml-options-vanilla.1
          ocamlfind.1.9.8+ox oxcaml.latest oxcaml-compiler.5.2.0minus39
          oxcaml-patch-guards.ox why3.1.8.2 zarith.1.14 ocaml-variants&pilat
          ocaml ocaml-base-compiler ocaml-base-compiler base-domains
          ocaml-base-compiler oxcaml-angstrom-patches ocaml
- frama-c -> (problem)
    Rejected candidates:
      frama-c.33.0: Requires pilat not(<= 1.6)
      frama-c.33.0~beta: Requires pilat not(<= 1.6)
      frama-c.32.1: Requires pilat not(<= 1.6)
      frama-c.32.0: Requires pilat not(<= 1.6)
      frama-c.32.0~beta: Requires pilat not(<= 1.6)
      frama-c.31.0: Requires pilat not(<= 1.6)
      frama-c.31.0~beta: Requires pilat not(<= 1.6)
      frama-c.30.0: Requires why3 >= 1.7.1 & < 1.8.0
      frama-c.30.0~beta: Requires why3 >= 1.7.1 & < 1.8
      frama-c.29.0: Requires why3 >= 1.7.1 & < 1.8
      frama-c.29.0~beta: Requires why3 >= 1.7.1 & < 1.8
      frama-c.28.1: Requires why3 >= 1.6 & < 1.8
      frama-c.28.0: Requires why3 >= 1.6 & < 1.8
      frama-c.28.0~beta: Requires why3 >= 1.6.0 & < 1.7~
      frama-c.27.1: Requires why3 >= 1.6.0 & < 1.7~
      frama-c.27.0: Requires why3 >= 1.6.0 & < 1.7~
      frama-c.27.0~beta: Requires why3 >= 1.6.0 & < 1.7~
      frama-c.26.1: Requires why3 >= 1.5.1 & < 1.6~
      frama-c.26.0: Requires why3 >= 1.5.1 & < 1.6~
      frama-c.26.0~beta: Requires why3 >= 1.5.1 & < 1.6~
      frama-c.25.0: Requires why3 >= 1.5.0 & < 1.6~
      frama-c.25.0~beta: Requires why3 >= 1.5.0 & < 1.6~
      frama-c.24.0: Requires why3 >= 1.4.0 & < 1.5~
      frama-c.23.1: Requires ocaml >= 4.08.1 & < 4.13.0
      frama-c.23.0: Requires ocaml >= 4.08.1 & < 4.13.0
      frama-c.22.0: Requires why3 >= 1.3.3 & < 1.4~
      frama-c.21.1: Requires why3 >= 1.3.1 & < 1.4~
      frama-c.21.0: Requires why3 >= 1.3.1 & < 1.4~
      frama-c.20.0: Requires why3 >= 1.2.0 & < 1.3.0
      frama-c.19.1: Requires why3 not(>= 1.4.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)
- pilat -> pilat.1.6
    User requested = 1.6

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