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.4.11.2
  package          : coq-waterproof.3.1.0+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-waterproof.3.1.0+9.1'
Can't find all required versions.
Selected: base-threads.base base-unix.base coq.9.1.1 dune.3.24.1
          ocaml-base-compiler.5.5.0 ocaml-config.3 ocaml-options-vanilla.1
          ocaml-secondary-compiler.4.14.2 ocamlfind-secondary.1.9.6
          rocq-stdlib.9.1.0 ocaml&coq-waterproof ocaml-variants
          ocaml-base-compiler system-mingw system-mingw|system-msvc
          ocaml&ocamlfind-secondary&ocaml-secondary-compiler
          ocaml-base-compiler
- coq-core -> coq-core.9.1.1
    coq 9.1.1 requires = 9.1.1
- coq-stdlib -> (problem)
    coq 9.1.1 requires = 9.0.0
    Rejected candidates:
      coq-stdlib.9.0.0: Requires rocq-stdlib = 9.0.0
      coq-stdlib.8.20.1: Incompatible with restriction: = 9.0.0
      coq-stdlib.8.20.0: Incompatible with restriction: = 9.0.0
      coq-stdlib.8.19.2: Incompatible with restriction: = 9.0.0
      coq-stdlib.8.19.1: Incompatible with restriction: = 9.0.0
      ...
- coq-waterproof -> coq-waterproof.3.1.0+9.1
    User requested = 3.1.0+9.1
- coqide-server -> coqide-server.9.1.1
    coq 9.1.1 requires = 9.1.1
- 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 -> ocamlfind.1.9.6
    ocamlfind-secondary 1.9.6 requires = 1.9.6
- rocq-core -> rocq-core.9.1.1
    coq-waterproof 3.1.0+9.1 requires >= 9.1 & < 9.2
- rocq-runtime -> (problem)
    coq-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
- system-mingw -> (problem)
    No known implementations at all
[WARNING] no_solution
Job succeeded