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 : 717c44ec9929ffc34a7a733dde6f29aa59156738
  mirror           : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
  cache-dir        : /var/cache/day10
  ocaml-version    : ocaml.5.3.0
  package          : libzipperposition.2.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:717c44ec9929ffc34a7a733dde6f29aa59156738' '--ocaml-version' 'ocaml.5.3.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'libzipperposition.2.1'
Can't find all required versions.
Selected: base-bytes.base base-threads.base base-unix.base conf-gmp.5
          conf-pkg-config.5 containers.3.18 containers-data.3.18 csexp.1.5.2
          dune.3.24.0 dune-configurator.3.24.0 either.1.0.0 iter.1.9
          logtk.2.1 msat.0.9.1 ocaml-base-compiler.5.5.0 ocaml-config.3
          ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8
          topkg.1.1.1 zarith.1.14 ocaml&libzipperposition ocaml-variants
          ocaml-base-compiler ocaml ocaml-base-compiler zarith
- libzipperposition -> libzipperposition.2.1
    User requested = 2.1
- menhir -> menhir.20211012
    logtk 2.1 requires < 20211215
    menhirLib 20211012 requires not(<> 20211012)
- menhirLib -> menhirLib.20211012
    menhir 20211012 requires = 20211012
- menhirSdk -> menhirSdk.20211012
    menhir 20211012 requires = 20211012
- mtime -> mtime.1.4.0
    logtk 2.1 requires >= 1.0 & < 2.0
- ocaml -> ocaml.5.3.0
    User requested = 5.3.0
- 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
      ...
- oseq -> (problem)
    logtk 2.1 requires >= 0.3 & < 0.4
    Rejected candidates:
      oseq.0.5.1: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.5: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.4.1: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.4: Incompatible with restriction: >= 0.3 & < 0.4
      oseq.0.3: Requires ocaml >= 4.02.0 & < 4.13
      ...
[WARNING] no_solution
Job succeeded