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 : yices2_bindings.0.2
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' 'yices2_bindings.0.2'
Can't find all required versions.
Selected: base.v0.17.3 base-threads.base base-unix.base conf-gmp.5
conf-libffi.2.0.0 conf-pkg-config.5 containers.3.18 cppo.1.8.0
csexp.1.5.2 ctypes.0.24.0 ctypes-foreign.0.24.0 ctypes-zarith.0.2.0
dune.3.24.0 dune-configurator.3.24.0 either.1.0.0 integers.0.8.0
num.1.6 ocaml-base-compiler.5.5.0 ocaml-compiler-libs.v0.17.0
ocaml-config.3 ocaml-options-vanilla.1
ocaml_intrinsics_kernel.v0.17.2 ocamlbuild.0.16.1 ocamlfind.1.9.8
parsexp.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.1.2
ppx_optcomp.v0.17.1 ppxlib.0.38.0 sexplib.v0.17.0 sexplib0.v0.17.0
stdio.v0.17.0 stdlib-shims.0.3.0 zarith.1.14 ocaml&yices2_bindings
ocaml-variants ocaml-base-compiler ocaml ocaml-base-compiler
- 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
...
- ppx_cstubs -> (problem)
Rejected candidates:
ppx_cstubs.0.7.0: Requires containers >= 2.2 & < 3.18
ppx_cstubs.0.6.1.2: Requires ctypes >= 0.13.0 & < 0.20
ppx_cstubs.0.6.1.1: Requires ctypes >= 0.13.0 & < 0.19
ppx_cstubs.0.6.1: Requires ctypes >= 0.13.0 & < 0.18
ppx_cstubs.0.6.0.1: Requires ctypes >= 0.13.0 & < 0.19
...
- yices2_bindings -> yices2_bindings.0.2
User requested = 0.2
[WARNING] no_solution
Job succeeded