✗ 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 cmdliner.2.1.1 conf-autoconf.1
          conf-which.1 cppo.1.8.0 dune.3.24.2 num.1.6
          ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
          ocaml-options-vanilla.1 ocamlfind.1.9.8+ox oxcaml.latest
          oxcaml-compiler.5.2.0minus39 oxcaml-patch-guards.ox
          ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppx_deriving_yojson.3.10.0
          ppx_import.1.12.0 ppxlib.0.39.0 yojson.3.0.0
          ocaml-variants&coq-serapi ocaml ocaml-base-compiler
          ocaml-base-compiler base-domains ocaml-base-compiler
          oxcaml-angstrom-patches ocaml ocaml
- base -> (problem)
    oxcaml-compiler 5.2.0minus39 requires not(< v0.18~)
    Rejected candidates:
      base.v0.18~preview.130.106+341: Requires ppxlib >= 0.33.0 & < 0.36.0
      base.v0.18~preview.130.100+614: Requires oxcaml-compiler not(<> 5.2.0minus38)
      base.v0.18~preview.130.91+190: Requires ppx_hash = v0.18~preview.130.91+190
      base.v0.18~preview.130.83+317: Requires ppx_hash = v0.18~preview.130.83+317
      base.v0.17.3: Incompatible with restriction: not(< v0.18~)
      base.v0.17.2: Incompatible with restriction: not(< v0.18~)
      base.v0.17.1: Incompatible with restriction: not(< v0.18~)
      base.v0.17.0: Incompatible with restriction: not(< v0.18~)
      base.v0.16.5: Incompatible with restriction: not(< v0.18~)
      base.v0.16.4: Incompatible with restriction: not(< v0.18~)
      base.v0.16.3: Incompatible with restriction: not(< v0.18~)
      base.v0.16.2: Incompatible with restriction: not(< v0.18~)
      base.v0.16.1: Incompatible with restriction: not(< v0.18~)
      base.v0.16.0: Incompatible with restriction: not(< v0.18~)
      base.v0.15.2: Incompatible with restriction: not(< v0.18~)
      base.v0.15.1: Incompatible with restriction: not(< v0.18~)
      base.v0.15.0: Requires ocaml >= 4.10.0 & < 5.0
      base.v0.14.4: Incompatible with restriction: not(< v0.18~)
      base.v0.14.3: Incompatible with restriction: not(< v0.18~)
      base.v0.14.2: Incompatible with restriction: not(< v0.18~)
      base.v0.14.1: Requires ocaml >= 4.08.0 & < 4.14
      base.v0.14.0: Requires ocaml >= 4.07.0 & < 4.12
      base.v0.13.2: Requires ocaml >= 4.04.2 & < 4.12
      base.v0.13.1: Requires ocaml >= 4.04.2 & < 4.12
- coq -> coq.8.20.1
    coq-serapi 8.20.0+0.20.0 requires >= 8.20 & < 8.21 | = dev
- coq-core -> (problem)
    coq 8.20.1 requires = 8.20.1
    Rejected candidates:
      coq-core.9.3.0: Incompatible with restriction: = 8.20.1
      coq-core.9.2.0: Incompatible with restriction: = 8.20.1
      coq-core.9.1.1: Incompatible with restriction: = 8.20.1
      coq-core.9.1.0: Incompatible with restriction: = 8.20.1
      coq-core.9.0.1: Incompatible with restriction: = 8.20.1
      coq-core.9.0.0: Incompatible with restriction: = 8.20.1
      coq-core.8.20.1: Requires dune >= 3.6.1 & < 3.24
      coq-core.8.20.0: Incompatible with restriction: = 8.20.1
      coq-core.8.19.2: Incompatible with restriction: = 8.20.1
      coq-core.8.19.1: Incompatible with restriction: = 8.20.1
      coq-core.8.19.0: Incompatible with restriction: = 8.20.1
      coq-core.8.18.0: Incompatible with restriction: = 8.20.1
      coq-core.8.17.1: Incompatible with restriction: = 8.20.1
      coq-core.8.17.0: Incompatible with restriction: = 8.20.1
- coq-serapi -> coq-serapi.8.20.0+0.20.0
    User requested = 8.20.0+0.20.0
- coq-stdlib -> coq-stdlib.8.20.1
    coq 8.20.1 requires = 8.20.1
- coqide-server -> coqide-server.8.20.1
    coq 8.20.1 requires = 8.20.1
- 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)
- parsexp -> parsexp.v0.17.0
    sexplib v0.17.0 requires >= v0.17 & < v0.18~
- ppx_compare -> ppx_compare.v0.17.0
    coq-serapi 8.20.0+0.20.0 requires >= v0.13.0 & < v0.18~
- ppx_hash -> ppx_hash.v0.17.0
    coq-serapi 8.20.0+0.20.0 requires >= v0.13.0 & < v0.18~
- ppx_sexp_conv -> ppx_sexp_conv.v0.17.1
    coq-serapi 8.20.0+0.20.0 requires >= v0.13.0 & < v0.18~
- ppxlib_jane -> (problem)
    ppx_compare v0.17.0 requires >= v0.17 & < v0.18~
    Rejected candidates:
      ppxlib_jane.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.17 & < v0.18~
      ppxlib_jane.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.17 & < v0.18~
      ppxlib_jane.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.17 & < v0.18~
      ppxlib_jane.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.17 & < v0.18~
      ppxlib_jane.v0.17.4: Requires ocaml >= 5.3.0
      ppxlib_jane.v0.17.3: Requires ocaml >= 5.3.0 & < 5.4.0
      ppxlib_jane.v0.17.2: Requires ocaml >= 5.3.0 & < 5.4.0
      ppxlib_jane.v0.17.1: Requires ocaml >= 5.3.0 & < 5.4.0
      ppxlib_jane.v0.17.0: Requires ppxlib >= 0.28.0 & < 0.36.0
- sexplib -> sexplib.v0.17.0
    coq-serapi 8.20.0+0.20.0 requires >= v0.13.0 & < v0.18~
- sexplib0 -> (problem)
    oxcaml-compiler 5.2.0minus39 requires not(< v0.18~)
    parsexp v0.17.0 requires >= v0.17 & < v0.18~
    Rejected candidates:
      sexplib0.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.17 & < v0.18~
      sexplib0.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.17 & < v0.18~
      sexplib0.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.17 & < v0.18~
      sexplib0.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.17 & < v0.18~
      sexplib0.v0.17.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.16.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.15.1: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.15.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.14.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.13.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.12.0: Incompatible with restriction: not(< v0.18~)
      sexplib0.v0.11.0: Incompatible with restriction: not(< v0.18~)

If you believe coq-serapi.8.20.0+0.20.0 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue