Home|Differences with the last checks|Previous runs

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.5.5.0
  package          : coq-serapi.8.20.0+0.20.0
  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.5.5.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'coq-serapi.8.20.0+0.20.0'
Can't find all required versions.
Selected: base.v0.17.3 base-bigarray.base base-domains.base base-effects.base
          base-nnp.base base-threads.base base-unix.base cmdliner.2.1.1
          compiler-cloning.enabled cppo.1.8.0 csexp.1.5.2 dune.3.24.1
          dune-configurator.3.24.1 num.1.6 ocaml-base-compiler.5.5.0
          ocaml-compiler-libs.v0.17.0 ocaml-options-vanilla.1
          ocaml_intrinsics_kernel.v0.17.2 ocamlfind.1.9.9~preview
          parsexp.v0.17.0 ppx_compare.v0.17.0 ppx_derivers.1.2.1
          ppx_deriving.6.1.3 ppx_deriving_yojson.3.10.0 ppx_hash.v0.17.0
          ppx_import.1.12.0 ppx_sexp_conv.v0.17.1 ppxlib.0.38.0
          ppxlib_jane.v0.17.4 sexplib.v0.17.0 sexplib0.v0.17.0
          stdlib-shims.0.3.0 yojson.3.0.0 ocaml&coq-serapi
          ocaml-base-compiler system-mingw system-mingw|system-msvc ocaml
          base-domains ocaml-variants ocaml ocaml-base-compiler
- 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.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-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.5.0
    User requested = 5.5.0
- ocaml-compiler -> ocaml-compiler.5.5.0
    ocaml-base-compiler 5.5.0 requires = 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
      ...
- system-mingw -> (problem)
    No known implementations at all
- ocaml|ocaml -> (problem)
    Rejected candidates:
      ocaml: Requires ocaml >= 4.10.0 & < 5.5
      ocaml: Requires ocaml >= 4.08.0 & < 4.10.0
[WARNING] no_solution
Job succeeded