vsrocq-language-server.2.5.0
Solver failure
✗ 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: astring.0.8.5 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
base_quickcheck.v0.18~preview.130.106+341
basement.v0.18~preview.130.106+341
bin_prot.v0.18~preview.130.106+341 camlp-streams.5.0.1
capitalization.v0.18~preview.130.106+341
capsule.v0.18~preview.130.106+341
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-configurator.3.24.2 fieldslib.v0.18~preview.130.106+341
jane-street-headers.v0.18~preview.130.106+341
jst-config.v0.18~preview.130.106+341 lsp.1.27.0
nonempty_list_type.v0.18~preview.130.106+341 num.1.6
ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
ocaml-options-vanilla.1
ocaml_intrinsics_kernel.v0.18~preview.130.106+341
ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox
odoc-parser.3.2.1+master.1791558161.c213704 oxcaml.latest
oxcaml-patch-guards.ox parsexp.v0.18~preview.130.106+341
portable.v0.18~preview.130.106+341
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_bench.v0.18~preview.130.106+341
ppx_bin_prot.v0.18~preview.130.106+341
ppx_compare.v0.18~preview.130.106+341
ppx_custom_printf.v0.18~preview.130.106+341
ppx_debug_assert.v0.18~preview.130.106+341 ppx_derivers.1.2.1
ppx_deriving.6.0.3
ppx_disable_unused_warnings.v0.18~preview.130.106+341
ppx_enumerate.v0.18~preview.130.106+341
ppx_expect.v0.18~preview.130.106+341
ppx_fields_conv.v0.18~preview.130.106+341
ppx_fixed_literal.v0.18~preview.130.106+341
ppx_fuelproof.v0.18~preview.130.106+341
ppx_globalize.v0.18~preview.130.106+341
ppx_hash.v0.18~preview.130.106+341
ppx_helpers.v0.18~preview.130.106+341
ppx_here.v0.18~preview.130.106+341
ppx_ignore_instrumentation.v0.18~preview.130.106+341
ppx_import.1.12.0 ppx_inline_test.v0.18~preview.130.106+341
ppx_int63_literal.v0.18~preview.130.106+341
ppx_jane.v0.18~preview.130.106+341
ppx_js_style.v0.18~preview.130.106+341
ppx_let.v0.18~preview.130.106+341 ppx_log.v0.18~preview.130.106+341
ppx_module_timer.v0.18~preview.130.106+341
ppx_optcomp.v0.18~preview.130.106+341
ppx_optional.v0.18~preview.130.106+341
ppx_pipebang.v0.18~preview.130.106+341
ppx_portable.v0.18~preview.130.106+341
ppx_sexp_conv.v0.18~preview.130.106+341
ppx_sexp_message.v0.18~preview.130.106+341
ppx_sexp_value.v0.18~preview.130.106+341
ppx_shorthand.v0.18~preview.130.106+341
ppx_stable.v0.18~preview.130.106+341
ppx_stable_witness.v0.18~preview.130.106+341
ppx_string.v0.18~preview.130.106+341
ppx_string_conv.v0.18~preview.130.106+341
ppx_template.v0.18~preview.130.106+341
ppx_tydi.v0.18~preview.130.106+341
ppx_typed_fields.v0.18~preview.130.106+341
ppx_typerep_conv.v0.18~preview.130.106+341
ppx_var_name.v0.18~preview.130.106+341
ppx_variants_conv.v0.18~preview.130.106+341
ppx_yojson_conv.v0.18~preview.130.106+341 ppxlib_ast.0.33.0+ox2
ppxlib_jane.v0.18~preview.130.106+341 result.1.5 sel.0.8.0
sexp_type.v0.18~preview.130.106+341
sexplib.v0.18~preview.130.106+341
sexplib0.v0.18~preview.130.106+341
splittable_random.v0.18~preview.130.106+341
stdio.v0.18~preview.130.106+341 stdlib-shims.0.3.0
time_now.v0.18~preview.130.106+341 topkg.1.1.1+ox
typerep.v0.18~preview.130.106+341 unique.v0.18~preview.130.106+341
univ_map.v0.18~preview.130.106+341 uutf.1.0.4+ox
variantslib.v0.18~preview.130.106+341 yojson.3.0.0
ocaml-variants&vsrocq-language-server ocaml ocaml-base-compiler
ocaml-base-compiler base-domains ocaml-base-compiler
oxcaml-angstrom-patches ocaml coq-core&coq-stdlib ocaml
- coq-core -> (problem)
coq-stdlib 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: Requires dune >= 3.6.1 & < 3.24
coq-core.8.19.2: Requires dune >= 2.9 & < 3.24
coq-core.8.19.1: Requires dune >= 2.9 & < 3.24
coq-core.8.19.0: Requires dune >= 2.9 & < 3.24
coq-core.8.18.0: Requires dune >= 2.9 & < 3.24
coq-core.8.17.1: Requires dune >= 2.9 & < 3.24
coq-core.8.17.0: Requires dune >= 2.9 & < 3.24
- coq-stdlib -> coq-stdlib.8.20.1
coq-core&coq-stdlib|rocq-core coq-core&coq-stdlib requires >= 8.18 & < 8.21
- jsonrpc -> jsonrpc.1.27.0
lsp 1.27.0 requires = 1.27.0
- memprof-limits -> (problem)
Rejected candidates:
memprof-limits.0.3.0: Requires ocaml >= 4.12.0 & < 5.0 | >= 5.3
memprof-limits.0.2.1: Requires ocaml >= 4.12.0 & < 5.0
memprof-limits.0.2.0: Requires ocaml >= 4.12.0 & < 5.0
memprof-limits.0.1: Requires ocaml >= 4.11 & < 4.12
- 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
base v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppx_yojson_conv_lib -> (problem)
lsp 1.27.0 requires >= v0.14
ppx_yojson_conv v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
Rejected candidates:
ppx_yojson_conv_lib.v0.18~preview.130.106+341: Requires yojson >= 1.7.0 & < 3.0.0
ppx_yojson_conv_lib.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.14.0: Incompatible with restriction: = v0.18~preview.130.106+341
ppx_yojson_conv_lib.v0.13.0: Incompatible with restriction: >= v0.14
ppx_yojson_conv_lib.v0.12.0: Incompatible with restriction: >= v0.14
- ppxlib -> ppxlib.0.35.0
base v0.18~preview.130.106+341 requires >= 0.33.0 & < 0.36.0
- vsrocq-language-server -> vsrocq-language-server.2.5.0
User requested = 2.5.0If you believe vsrocq-language-server.2.5.0 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue
Not built in the latest run: a build dependency may have failed, or this version isn't the blessed one. See the history below.
History
No history entries.