✗ 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: angstrom.0.16.1 base.v0.18~preview.130.106+341 base-bigarray.base
          base-domains.base base-nnp.base base-threads.base base-unix.base
          base_internalhash_types.v0.18~preview.130.106+341
          basement.v0.18~preview.130.106+341 bigstringaf.0.10.0
          capsule0.v0.18~preview.130.106+341 cmdliner.2.1.1 conf-autoconf.1
          conf-which.1 cppo.1.8.0 csexp.1.5.2 dune.3.24.2
          dune-build-info.3.24.2 dune-configurator.3.24.2
          jane-street-headers.v0.18~preview.130.106+341
          jst-config.v0.18~preview.130.106+341 menhir.20260209
          menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209
          menhirSdk.20260209 nonempty_list_type.v0.18~preview.130.106+341
          ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
          ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0
          ocaml_intrinsics_kernel.v0.18~preview.130.106+341
          ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox oxcaml.latest
          oxcaml-patch-guards.ox ppx_array_base.v0.18~preview.130.106+341
          ppx_assert.v0.18~preview.130.106+341
          ppx_base.v0.18~preview.130.106+341 ppx_derivers.1.2.1
          ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1
          ppx_enumerate.v0.18~preview.130.106+341
          ppx_globalize.v0.18~preview.130.106+341
          ppx_helpers.v0.18~preview.130.106+341
          ppx_here.v0.18~preview.130.106+341 ppx_import.1.12.0
          ppx_inline_test.v0.18~preview.130.106+341
          ppx_optcomp.v0.18~preview.130.106+341
          ppx_shorthand.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 seq.base
          sexp_type.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 stdlib-shims.0.3.0
          stringext.1.6.0 time_now.v0.18~preview.130.106+341 topkg.1.1.1+ox
          tyxml.5.0.0 uri.4.4.0 uutf.1.0.4+ox yojson.3.0.0
          ocaml-variants&coq-lsp ocaml ocaml-base-compiler
          ocaml-base-compiler base-domains ocaml-base-compiler
          oxcaml-angstrom-patches ocaml ocaml&ocaml ocaml
- coq-lsp -> coq-lsp.0.2.5+9.1
    User requested = 0.2.5+9.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 angstrom = 0.16.1+ox
- oxcaml-compiler -> oxcaml-compiler.5.2.0minus39
    base v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppx_compare -> (problem)
    coq-lsp 0.2.5+9.1 requires >= v0.15.0 & < v0.18~
    ppx_assert v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_compare.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_compare.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_compare.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_compare.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_compare.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_compare.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_compare.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_compare.v0.14.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_compare.v0.13.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
- ppx_hash -> (problem)
    coq-lsp 0.2.5+9.1 requires >= v0.15.0 & < v0.18~
    ppx_base v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_hash.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_hash.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_hash.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_hash.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_hash.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_hash.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_hash.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_hash.v0.14.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_hash.v0.13.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
- ppx_sexp_conv -> (problem)
    coq-lsp 0.2.5+9.1 requires >= v0.15.0 & < v0.18~
    ppx_assert v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_sexp_conv.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.17.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.3: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.14.2: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.14.1: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.14.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      ppx_sexp_conv.v0.13.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
- ppxlib -> ppxlib.0.35.0
    base v0.18~preview.130.106+341 requires >= 0.33.0 & < 0.36.0
- rocq-core -> rocq-core.9.1.1
    coq-lsp 0.2.5+9.1 requires >= 9.1 & < 9.2
- rocq-runtime -> (problem)
    rocq-core 9.1.1 requires = 9.1.1
    Rejected candidates:
      rocq-runtime.9.3.0: Incompatible with restriction: = 9.1.1
      rocq-runtime.9.2.0: Incompatible with restriction: = 9.1.1
      rocq-runtime.9.1.1: Requires dune >= 3.8 & < 3.24
      rocq-runtime.9.1.0: Incompatible with restriction: = 9.1.1
      rocq-runtime.9.0.1: Incompatible with restriction: = 9.1.1
      rocq-runtime.9.0.0: Incompatible with restriction: = 9.1.1
- sexplib -> (problem)
    coq-lsp 0.2.5+9.1 requires >= v0.15.0 & < v0.18~
    Rejected candidates:
      sexplib.v0.18~preview.130.106+341: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.18~preview.130.100+614: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.18~preview.130.91+190: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.18~preview.130.83+317: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.17.0: Requires sexplib0 >= v0.17 & < v0.18~
      sexplib.v0.16.0: Requires sexplib0 >= v0.16 & < v0.17
      sexplib.v0.15.1: Requires sexplib0 >= v0.15 & < v0.16
      sexplib.v0.15.0: Requires ocaml >= 4.08.0 & < 5.0
      sexplib.v0.14.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.13.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.11.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.10.0: Incompatible with restriction: >= v0.15.0 & < v0.18~
      sexplib.v0.9.3: Incompatible with restriction: >= v0.15.0 & < v0.18~

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