Building on doris.caelum.ci.dev
day10 dispatch:
verb : health-check
opam-repository : <default>
opam-repo commit : ae6f88cbf223d078928da4d89e303253ea5df2f0
mirror : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
cache-dir : /var/cache/day10
ocaml-version : ocaml.4.11.2
package : coq-lsp.0.2.5+9.1
os-distribution : debian
os-version : 13
with-test : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--log' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:ae6f88cbf223d078928da4d89e303253ea5df2f0' '--ocaml-version' 'ocaml.4.11.2' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'coq-lsp.0.2.5+9.1'
Can't find all required versions.
Selected: angstrom.0.16.1 base-threads.base base-unix.base bigstringaf.0.10.0
cmdliner.2.1.1 cppo.1.8.0 csexp.1.5.2 dune.3.24.1
dune-build-info.3.23.1 dune-configurator.3.22.2 menhir.20260209
menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209
menhirSdk.20260209 num.1.6 ocaml-base-compiler.5.5.0
ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1
ocaml-secondary-compiler.4.14.2 ocaml-syntax-shims.1.0.0
ocamlbuild.0.16.1 ocamlfind-secondary.1.9.6 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppx_import.1.12.0
ppx_inline_test.v0.15.1 re.1.11.0 seq.base sexplib.v0.15.1
stdlib-shims.0.3.0 stringext.1.6.0 topkg.1.1.1 tyxml.4.6.0
uri.4.4.0 uutf.1.0.4 yojson.3.0.0 ocaml&coq-lsp ocaml-variants
ocaml-base-compiler system-mingw system-mingw|system-msvc
ocaml&ocamlfind-secondary&ocaml-secondary-compiler
ocaml-base-compiler ocaml
- base -> base.v0.15.2
jst-config v0.15.1 requires >= v0.15 & < v0.16
- coq-lsp -> coq-lsp.0.2.5+9.1
User requested = 0.2.5+9.1
- jane-street-headers -> jane-street-headers.v0.15.0
time_now v0.15.0 requires >= v0.15 & < v0.16
- jst-config -> jst-config.v0.15.1
time_now v0.15.0 requires >= v0.15 & < v0.16
- ocaml -> ocaml.4.11.2
User requested = 4.11.2
- ocaml-compiler -> (problem)
ocaml-base-compiler 5.5.0 requires = 5.5.0
Rejected candidates:
ocaml-compiler.5.6: Incompatible with restriction: = 5.5.0
ocaml-compiler.5.5.0: Requires ocaml = 5.5.0
ocaml-compiler.5.5.0~rc1: Incompatible with restriction: = 5.5.0
ocaml-compiler.5.5.0~beta1: Incompatible with restriction: = 5.5.0
ocaml-compiler.5.5.0~alpha3: Incompatible with restriction: = 5.5.0
...
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.6.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.5.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.5.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.5.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.5.0~beta1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- ocamlfind -> (problem)
coq-lsp 0.2.5+9.1 requires >= 1.9.8
ocamlfind-secondary 1.9.6 requires = 1.9.6
Rejected candidates:
ocamlfind.1.9.9~preview: Incompatible with restriction: = 1.9.6
ocamlfind.1.9.8: Incompatible with restriction: = 1.9.6
ocamlfind.1.9.6: Incompatible with restriction: >= 1.9.8
ocamlfind.1.9.5: Incompatible with restriction: >= 1.9.8
ocamlfind.1.9.3: Incompatible with restriction: >= 1.9.8
...
- parsexp -> parsexp.v0.15.0
sexplib v0.15.1 requires >= v0.15 & < v0.16
- ppx_assert -> ppx_assert.v0.15.0
jst-config v0.15.1 requires >= v0.15 & < v0.16
- ppx_base -> ppx_base.v0.15.0
time_now v0.15.0 requires >= v0.15 & < v0.16
- ppx_cold -> ppx_cold.v0.15.0
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppx_compare -> ppx_compare.v0.15.0
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppx_enumerate -> ppx_enumerate.v0.15.0
ppx_base v0.15.0 requires >= v0.15 & < v0.16
- ppx_hash -> ppx_hash.v0.15.0
ppx_base v0.15.0 requires >= v0.15 & < v0.16
- ppx_here -> ppx_here.v0.15.0
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppx_optcomp -> ppx_optcomp.v0.15.0
time_now v0.15.0 requires >= v0.15 & < v0.16
- ppx_sexp_conv -> ppx_sexp_conv.v0.15.1
ppx_assert v0.15.0 requires >= v0.15 & < v0.16
- ppxlib -> ppxlib.0.35.0
ppx_deriving 6.0.3 requires >= 0.32.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.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
- sexplib0 -> sexplib0.v0.15.1
base v0.15.2 requires >= v0.15 & < v0.16
- stdio -> stdio.v0.15.0
ppx_optcomp v0.15.0 requires >= v0.15 & < v0.16
- system-mingw -> (problem)
No known implementations at all
- time_now -> time_now.v0.15.0
ppx_inline_test v0.15.1 requires >= v0.15 & < v0.16
- ocaml&ocaml|ocaml&memprof-limits -> (problem)
Rejected candidates:
ocaml&memprof-limits: Requires ocaml >= 4.12
ocaml&ocaml: Requires ocaml >= 5.0
[WARNING] no_solution
Job succeeded
Home|Differences with the last checks|Previous runs