Build Log: frama_c_codex.1.0-rc4

Can't find all required versions. Selected: alt-ergo-free.2.0.0 astring.0.8.5 base.v0.17.3 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bheap.2.0.0 bos.0.2.1 cairo2.0.6.5 camlp-streams.5.0.1 cmdliner.2.1.0 codex.1.0-rc4 conf-autoconf.0.2 conf-cairo.1 conf-gmp.5 conf-graphviz.0.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 ctypes.0.24.0 cudd.0.1.3 dune.3.20.2 dune-configurator.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 fpath.0.7.3 gen.1.1 integers.0.7.0 jane-street-headers.v0.17.0 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 jst-config.v0.17.0 lablgtk3.3.1.5-1 logs.0.10.0 num.1.6 ocaml-base-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 ordering.3.20.2 patricia-tree.0.11.0 pp.2.0.0 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yaml.0.4.1 ppx_deriving_yojson.3.10.0 ppx_enumerate.v0.17.0 ppx_globalize.v0.17.2 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_inline_test.v0.17.1 ppx_optcomp.v0.17.1 ppx_sexp_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 qcheck-core.0.27 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 stdio.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 time_now.v0.17.0 topkg.1.1.1 unionFind.20250818 why3.1.8.2 yaml.3.2.0 yojson.3.0.0 zarith.1.14 ocaml&frama_c_codex ocaml-base-compiler ocaml-base-compiler system-mingw system-mingw|system-msvc&winpthreads ocaml base-domains ocaml-variants ocaml-base-compiler alt-ergo-free - camlzip -> (problem) alt-ergo-free 2.0.0 requires < 1.08 Rejected candidates: camlzip.1.13: Incompatible with restriction: < 1.08 camlzip.1.11: Incompatible with restriction: < 1.08 camlzip.1.07: Requires ocaml >= 4.02.0 & < 5.0 - frama-c -> frama-c.31.0 frama_c_codex 1.0-rc4 requires = 31.0 - frama_c_codex -> frama_c_codex.1.0-rc4 User requested = 1.0-rc4 - lablgtk3-sourceview3 -> (problem) Rejected candidates: lablgtk3-sourceview3.3.1.5: Requires lablgtk3 = 3.1.5 lablgtk3-sourceview3.3.1.4: Requires lablgtk3 = 3.1.4 lablgtk3-sourceview3.3.1.3: Requires lablgtk3 = 3.1.3 lablgtk3-sourceview3.3.1.2: Requires lablgtk3 = 3.1.2 lablgtk3-sourceview3.3.1.1: Requires lablgtk3 = 3.1.1 ... - menhir -> menhir.20211012 alt-ergo-free 2.0.0 requires < 20211215 menhirLib 20211012 requires not(<> 20211012) - menhirLib -> menhirLib.20211012 menhir 20211012 requires = 20211012 - menhirSdk -> menhirSdk.20211012 menhir 20211012 requires = 20211012 - ocaml -> ocaml.5.4.0 User requested = 5.4.0 - ocaml-compiler -> ocaml-compiler.5.4.0 ocaml-base-compiler 5.4.0 requires = 5.4.0 - ocaml-variants -> (problem) Rejected candidates: ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ... - ocplib-simplex -> ocplib-simplex.0.4.1 alt-ergo-free 2.0.0 requires >= 0.4 & < 0.5 - pacomb -> (problem) codex 1.0-rc4 requires >= 1.3 Rejected candidates: pacomb.1.3: Requires ppxlib >= 0.10.0 & < 0.36.0 pacomb.1.1: Incompatible with restriction: >= 1.3 pacomb.1.0: Incompatible with restriction: >= 1.3 - system-mingw -> (problem) No known implementations at all