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.4.1
package : colibrics.0.4
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.4.1' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'colibrics.0.4'
Can't find all required versions.
Selected: base-threads.base base-unix.base conf-gmp.5 conf-pkg-config.5
core.v0.16.2 cppo.1.8.0 csexp.1.5.2 dune-configurator.3.13.1
fmt.0.11.0 gen.1.1 jingoo.1.5.4 logs.0.10.0 num.1.6
ocaml-base-compiler.5.5.0 ocaml-compiler-libs.v0.17.0
ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.6.1.3
ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 re.1.12.0 seq.base
spelll.0.4 stdlib-shims.0.3.0 topkg.1.1.1 uucp.17.0.0 uutf.1.0.4
yojson.3.0.0 zarith.1.14 ocaml&colibrics ocaml-variants
ocaml-base-compiler ocaml-base-compiler
- base -> base.v0.16.5
base_bigstring v0.16.0 requires >= v0.16 & < v0.17
- base_bigstring -> base_bigstring.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- base_quickcheck -> (problem)
Rejected candidates:
base_quickcheck.v0.17.1: Requires base >= v0.17 & < v0.18~
base_quickcheck.v0.17.0: Requires base >= v0.17 & < v0.18~
base_quickcheck.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
base_quickcheck.v0.15.0: Requires base >= v0.15 & < v0.16
base_quickcheck.v0.14.1: Requires base >= v0.14 & < v0.15
...
- bin_prot -> bin_prot.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- cmdliner -> cmdliner.1.3.0
colibrics 0.4 requires >= 1.1.1 & < 2.0.0
- colibrics -> colibrics.0.4
User requested = 0.4
- dolmen -> dolmen.0.8.1
colibrics 0.4 requires >= 0.8 & < 0.9
- dolmen_loop -> dolmen_loop.0.8.1
colibrics 0.4 requires >= 0.8 & < 0.9
- dolmen_type -> dolmen_type.0.8.1
colibrics 0.4 requires >= 0.8 & < 0.9
- dune -> dune.3.10.0
colibrics 0.4 requires >= 3.0 & < 3.11
- fieldslib -> fieldslib.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- int_repr -> int_repr.v0.16.0
base_bigstring v0.16.0 requires >= v0.16 & < v0.17
- jane-street-headers -> jane-street-headers.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- jst-config -> jst-config.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- menhir -> menhir.20250912
dolmen 0.8.1 requires >= 20211230 & < 20260112
- menhirCST -> menhirCST.20250912
menhir 20250912 requires = 20250912
- menhirLib -> menhirLib.20250912
menhir 20250912 requires = 20250912
- menhirSdk -> menhirSdk.20250912
menhir 20250912 requires = 20250912
- ocaml -> ocaml.5.4.1
User requested = 5.4.1
- 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
...
- parsexp -> parsexp.v0.16.0
sexplib v0.16.0 requires >= v0.16 & < v0.17
- ppx_assert -> ppx_assert.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- ppx_base -> ppx_base.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- ppx_bench -> (problem)
Rejected candidates:
ppx_bench.v0.17.1: Requires dune >= 3.11.0
ppx_bench.v0.17.0: Requires dune >= 3.11.0
ppx_bench.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_bench.v0.15.1: Requires ppxlib >= 0.23.0 & < 0.36.0
ppx_bench.v0.15.0: Requires ppxlib >= 0.23.0 & < 0.29.0
...
- ppx_bin_prot -> (problem)
Rejected candidates:
ppx_bin_prot.v0.17.1: Requires base >= v0.17 & < v0.18~
ppx_bin_prot.v0.17.0: Requires base >= v0.17 & < v0.18~
ppx_bin_prot.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_bin_prot.v0.15.0: Requires base >= v0.15 & < v0.16
ppx_bin_prot.v0.14.0: Requires base >= v0.14 & < v0.15
...
- ppx_cold -> ppx_cold.v0.16.0
ppx_assert v0.16.0 requires >= v0.16 & < v0.17
- ppx_compare -> ppx_compare.v0.16.0
bin_prot v0.16.0 requires >= v0.16 & < v0.17
- ppx_custom_printf -> ppx_custom_printf.v0.16.0
bin_prot v0.16.0 requires >= v0.16 & < v0.17
- ppx_disable_unused_warnings -> ppx_disable_unused_warnings.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_enumerate -> ppx_enumerate.v0.16.0
ppx_base v0.16.0 requires >= v0.16 & < v0.17
- ppx_expect -> ppx_expect.v0.16.2
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_fields_conv -> ppx_fields_conv.v0.16.0
bin_prot v0.16.0 requires >= v0.16 & < v0.17
- ppx_fixed_literal -> ppx_fixed_literal.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_globalize -> (problem)
ppx_base v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_globalize.v0.17.2: Incompatible with restriction: >= v0.16 & < v0.17
ppx_globalize.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_globalize.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
- ppx_hash -> ppx_hash.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- ppx_here -> ppx_here.v0.16.0
ppx_assert v0.16.0 requires >= v0.16 & < v0.17
- ppx_ignore_instrumentation -> ppx_ignore_instrumentation.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_inline_test -> (problem)
core v0.16.2 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_inline_test.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_inline_test.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_inline_test.v0.16.1: Requires dune >= 3.11.1
ppx_inline_test.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_inline_test.v0.15.1: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_jane -> ppx_jane.v0.16.0
base_bigstring v0.16.0 requires >= v0.16 & < v0.17
- ppx_let -> (problem)
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_let.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_let.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_let.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_let.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_let.v0.14.0: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_log -> ppx_log.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_module_timer -> ppx_module_timer.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_optcomp -> (problem)
bin_prot v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_optcomp.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_optcomp.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_optcomp.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_optcomp.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_optcomp.v0.14.3: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_optional -> ppx_optional.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_pipebang -> ppx_pipebang.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_sexp_conv -> (problem)
bin_prot v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_sexp_conv.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_sexp_conv.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_sexp_conv.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_sexp_conv.v0.15.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_sexp_conv.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_sexp_message -> ppx_sexp_message.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- ppx_sexp_value -> ppx_sexp_value.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_stable -> (problem)
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_stable.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_stable.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_stable.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_stable.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_stable.v0.14.1: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_stable_witness -> ppx_stable_witness.v0.16.0
bin_prot v0.16.0 requires >= v0.16 & < v0.17
- ppx_string -> ppx_string.v0.16.0
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
- ppx_tydi -> (problem)
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_tydi.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_tydi.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_tydi.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
- ppx_typerep_conv -> (problem)
ppx_jane v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_typerep_conv.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_typerep_conv.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_typerep_conv.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_typerep_conv.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_typerep_conv.v0.14.2: Incompatible with restriction: >= v0.16 & < v0.17
...
- ppx_variants_conv -> (problem)
bin_prot v0.16.0 requires >= v0.16 & < v0.17
Rejected candidates:
ppx_variants_conv.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
ppx_variants_conv.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_variants_conv.v0.16.0: Requires ppxlib >= 0.28.0 & < 0.36.0
ppx_variants_conv.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
ppx_variants_conv.v0.14.2: Incompatible with restriction: >= v0.16 & < v0.17
...
- sexplib -> sexplib.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- sexplib0 -> sexplib0.v0.16.0
base v0.16.5 requires >= v0.16 & < v0.17
- splittable_random -> splittable_random.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- stdio -> stdio.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- time_now -> time_now.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- typerep -> (problem)
core v0.16.2 requires >= v0.16 & < v0.17
Rejected candidates:
typerep.v0.17.1: Incompatible with restriction: >= v0.16 & < v0.17
typerep.v0.17.0: Incompatible with restriction: >= v0.16 & < v0.17
typerep.v0.16.0: Requires ocaml >= 4.14.0 & < 5.3
typerep.v0.15.0: Incompatible with restriction: >= v0.16 & < v0.17
typerep.v0.14.0: Incompatible with restriction: >= v0.16 & < v0.17
...
- variantslib -> variantslib.v0.16.0
core v0.16.2 requires >= v0.16 & < v0.17
- why3 -> (problem)
colibrics 0.4 requires >= 1.4 & < 1.8
Rejected candidates:
why3.1.8.2: Incompatible with restriction: >= 1.4 & < 1.8
why3.1.8.1: Incompatible with restriction: >= 1.4 & < 1.8
why3.1.8.0: Incompatible with restriction: >= 1.4 & < 1.8
why3.1.7.2: Requires ocaml >= 4.08.0 & < 5.4.0
why3.1.7.1: Requires ocaml >= 4.08.0 & < 5.4.0
...
- ocaml|ocaml&ocamlfind-secondary -> (problem)
Rejected candidates:
ocaml&ocamlfind-secondary: Requires ocaml >= 4.02 & < 4.08~~
ocaml: Requires ocaml >= 4.08 & < 5.3
[WARNING] no_solution
Job succeeded
Home|Differences with the last checks|Previous runs