← Back to PR #29259
Build Log: codex.1.0~rc4
Status: SUCCESS
Log Output
Processing: [default: loading data]
[codex.1.0~rc4: http]
[codex.1.0~rc4: extract]
[codex.1.0~rc4/utils/gui/deps/graphviz.umd.js: dl]
[codex.1.0~rc4/utils/gui/deps/js/bundle-output.js: dl]
[codex.1.0~rc4/utils/gui/deps/tailwind4.1.5.css: dl]
-> retrieved codex.1.0~rc4 (https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz)
[codex: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "codex" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/codex.1.0~rc4)
[codex: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "codex" "--create-install-files" "codex" (CWD=/home/opam/.opam/default/.opam-switch/build/codex.1.0~rc4)
-> compiled codex.1.0~rc4
-> installed codex.1.0~rc4
[WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"async.v0.17.0" -> {"async_kernel.v0.17.0" "async_log.v0.17.0" "async_rpc_kernel.v0.17.0" "async_unix.v0.17.0" "core.v0.17.1" "core_kernel.v0.17.0" "core_unix.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "textutils.v0.17.0"}
"async_kernel.v0.17.0" -> {"core.v0.17.1" "core_kernel.v0.17.0" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"async_log.v0.17.0" -> {"async_kernel.v0.17.0" "async_unix.v0.17.0" "core.v0.17.1" "core_kernel.v0.17.0" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "timezone.v0.17.0"}
"async_rpc_kernel.v0.17.0" -> {"async_kernel.v0.17.0" "core.v0.17.1" "core_kernel.v0.17.0" "dune.3.21.0" "gel.v0.17.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "protocol_version_header.v0.17.0"}
"async_unix.v0.17.0" -> {"async_kernel.v0.17.0" "core.v0.17.1" "core_kernel.v0.17.0" "core_unix.v0.17.1" "cstruct.6.2.0" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.1"}
"base.v0.17.3" -> {"dune.3.21.0" "dune-configurator.3.21.0" "ocaml.5.4.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"base64.3.5.2" -> {"dune.3.21.0" "ocaml.5.4.0"}
"base_bigstring.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "int_repr.v0.17.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"base_quickcheck.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "ppx_fields_conv.v0.17.0" "ppx_let.v0.17.1" "ppx_sexp_message.v0.17.0" "ppx_sexp_value.v0.17.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4" "splittable_random.v0.17.0"}
"bheap.2.0.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"bin_prot.v0.17.0-1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_compare.v0.17.0" "ppx_custom_printf.v0.17.0" "ppx_fields_conv.v0.17.0" "ppx_optcomp.v0.17.1" "ppx_sexp_conv.v0.17.1" "ppx_stable_witness.v0.17.0" "ppx_variants_conv.v0.17.1"}
"camlp-streams.5.0.1" -> {"dune.3.21.0" "ocaml.5.4.0"}
"capitalization.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_base.v0.17.0"}
"cmdliner.2.1.0" -> "ocaml.5.4.0";
"codex.1.0~rc4" -> {"base64.3.5.2" "bheap.2.0.0" "camlp-streams.5.0.1" "cudd.0.1.3" "dune.3.21.0" "fmt.0.11.0" "js_of_ocaml.6.2.0" "js_of_ocaml-ppx.6.2.0" "ocaml-embed-file.v0.17.0" "pacomb.1.4.3" "patricia-tree.0.11.0" "ppx_deriving.6.1.1" "ppx_inline_test.v0.17.1" "ppxlib.0.37.0" "qcheck-core.0.91" "vdom.0.3" "zarith.1.14"}
"core.v0.17.1" -> {"base.v0.17.3" "base_bigstring.v0.17.0" "base_quickcheck.v0.17.1" "bin_prot.v0.17.0-1" "dune.3.21.0" "fieldslib.v0.17.0" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.4.0" "ppx_assert.v0.17.0" "ppx_base.v0.17.0" "ppx_diff.v0.17.1" "ppx_hash.v0.17.0" "ppx_inline_test.v0.17.1" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.1" "ppx_sexp_conv.v0.17.1" "ppx_sexp_message.v0.17.0" "sexplib.v0.17.0" "splittable_random.v0.17.0" "stdio.v0.17.0" "time_now.v0.17.0" "typerep.v0.17.1" "variantslib.v0.17.0"}
"core_kernel.v0.17.0" -> {"base.v0.17.3" "base-threads.base" "core.v0.17.1" "dune.3.21.0" "int_repr.v0.17.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.1" "uopt.v0.17.0"}
"core_unix.v0.17.1" -> {"base-threads.base" "core.v0.17.1" "core_kernel.v0.17.0" "dune.3.21.0" "expect_test_helpers_core.v0.17.0" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.1" "sexplib.v0.17.0" "spawn.v0.17.0" "timezone.v0.17.0" "uopt.v0.17.0"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.21.0" "ocaml.5.4.0"}
"csexp.1.5.2" -> {"dune.3.21.0" "ocaml.5.4.0"}
"cstruct.6.2.0" -> {"dune.3.21.0" "fmt.0.11.0" "ocaml.5.4.0"}
"cudd.0.1.3" -> "dune.3.21.0";
"dune.3.21.0" -> {"base-threads.base" "base-unix.base" "ocaml.5.4.0"}
"dune-configurator.3.21.0" -> {"base-unix.base" "csexp.1.5.2" "dune.3.21.0" "ocaml.5.4.0"}
"expect_test_helpers_core.v0.17.0" -> {"base.v0.17.3" "base_quickcheck.v0.17.1" "core.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "re.1.14.0" "sexp_pretty.v0.17.0" "stdio.v0.17.0"}
"fieldslib.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.1.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"gel.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"gen.1.1" -> {"dune.3.21.0" "ocaml.5.4.0" "seq.base"}
"gen_js_api.1.1.6" -> {"dune.3.21.0" "ocaml.5.4.0" "ojs.1.1.6" "ppxlib.0.37.0"}
"int_repr.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"js_of_ocaml.6.2.0" -> {"dune.3.21.0" "js_of_ocaml-compiler.6.2.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"js_of_ocaml-compiler.6.2.0" -> {"cmdliner.2.1.0" "dune.3.21.0" "menhir.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.4.0" "ocamlfind.1.9.8" "ppxlib.0.37.0" "sedlex.3.7" "yojson.3.0.0"}
"js_of_ocaml-ppx.6.2.0" -> {"dune.3.21.0" "js_of_ocaml.6.2.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "dune-configurator.3.21.0" "ocaml.5.4.0" "ppx_assert.v0.17.0"}
"menhir.20250912" -> {"dune.3.21.0" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.4.0"}
"menhirCST.20250912" -> {"dune.3.21.0" "ocaml.5.4.0"}
"menhirLib.20250912" -> {"dune.3.21.0" "ocaml.5.4.0"}
"menhirSdk.20250912" -> {"dune.3.21.0" "ocaml.5.4.0"}
"num.1.6" -> "ocaml.5.4.0";
"ocaml.5.4.0" -> {"ocaml-base-compiler.5.4.0" "ocaml-config.3"}
"ocaml-base-compiler.5.4.0" -> "ocaml-compiler.5.4.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"ocaml-embed-file.v0.17.0" -> {"async.v0.17.0" "core.v0.17.1" "core_unix.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.21.0" "ocaml.5.4.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.4.0";
"ocamlfind.1.9.8" -> "ocaml.5.4.0";
"ojs.1.1.6" -> {"dune.3.21.0" "js_of_ocaml-compiler.6.2.0" "ocaml.5.4.0"}
"pacomb.1.4.3" -> {"dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "stdlib-shims.0.3.0"}
"parsexp.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0" "sexplib0.v0.17.0"}
"patricia-tree.0.11.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_base.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.2" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_bench.v0.17.1" -> {"dune.3.21.0" "ocaml.5.4.0" "ppx_inline_test.v0.17.1" "ppxlib.0.37.0"}
"ppx_bin_prot.v0.17.1" -> {"base.v0.17.3" "bin_prot.v0.17.0-1" "dune.3.21.0" "ocaml.5.4.0" "ppx_here.v0.17.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_custom_printf.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_derivers.1.2.1" -> {"dune.3.21.0" "ocaml.5.4.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.21.0" "ocaml.5.4.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_diff.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "gel.v0.17.0" "ocaml.5.4.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_jane.v0.17.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_disable_unused_warnings.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_expect.v0.17.3" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_here.v0.17.0" "ppx_inline_test.v0.17.1" "ppxlib.0.37.0" "stdio.v0.17.0"}
"ppx_fields_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "fieldslib.v0.17.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_fixed_literal.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_globalize.v0.17.2" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_ignore_instrumentation.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_inline_test.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "time_now.v0.17.0"}
"ppx_jane.v0.17.0" -> {"base_quickcheck.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_assert.v0.17.0" "ppx_base.v0.17.0" "ppx_bench.v0.17.1" "ppx_bin_prot.v0.17.1" "ppx_custom_printf.v0.17.0" "ppx_disable_unused_warnings.v0.17.0" "ppx_expect.v0.17.3" "ppx_fields_conv.v0.17.0" "ppx_fixed_literal.v0.17.0" "ppx_here.v0.17.0" "ppx_ignore_instrumentation.v0.17.0" "ppx_inline_test.v0.17.1" "ppx_let.v0.17.1" "ppx_log.v0.17.0" "ppx_module_timer.v0.17.0" "ppx_optional.v0.17.0" "ppx_pipebang.v0.17.0" "ppx_sexp_message.v0.17.0" "ppx_sexp_value.v0.17.0" "ppx_stable.v0.17.1" "ppx_stable_witness.v0.17.0" "ppx_string.v0.17.0" "ppx_string_conv.v0.17.0" "ppx_tydi.v0.17.1" "ppx_typerep_conv.v0.17.1" "ppx_variants_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_let.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_here.v0.17.0" "ppxlib.0.37.0"}
"ppx_log.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_expect.v0.17.3" "ppx_fields_conv.v0.17.0" "ppx_here.v0.17.0" "ppx_let.v0.17.1" "ppx_sexp_conv.v0.17.1" "ppx_sexp_message.v0.17.0" "ppx_sexp_value.v0.17.0" "ppx_string.v0.17.0" "ppx_variants_conv.v0.17.1" "ppxlib.0.37.0" "sexplib.v0.17.0" "stdio.v0.17.0"}
"ppx_module_timer.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "ppxlib.0.37.0" "stdio.v0.17.0" "time_now.v0.17.0"}
"ppx_optcomp.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "stdio.v0.17.0"}
"ppx_optional.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_pipebang.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_sexp_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4" "sexplib0.v0.17.0"}
"ppx_sexp_message.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_sexp_value.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_stable.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_stable_witness.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_string.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "ppxlib.0.37.0"}
"ppx_string_conv.v0.17.0" -> {"base.v0.17.3" "capitalization.v0.17.0" "dune.3.21.0" "ocaml.5.4.0" "ppx_let.v0.17.1" "ppx_string.v0.17.0" "ppxlib.0.37.0"}
"ppx_tydi.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"ppx_typerep_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "typerep.v0.17.1"}
"ppx_variants_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0" "variantslib.v0.17.0"}
"ppxlib.0.37.0" -> {"dune.3.21.0" "ocaml.5.4.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"ppxlib_jane.v0.17.4" -> {"dune.3.21.0" "ocaml.5.4.0" "ppxlib.0.37.0"}
"protocol_version_header.v0.17.0" -> {"core.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"qcheck-core.0.91" -> {"base-unix.base" "dune.3.21.0" "ocaml.5.4.0"}
"re.1.14.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"sedlex.3.7" -> {"dune.3.21.0" "gen.1.1" "ocaml.5.4.0" "ppxlib.0.37.0"}
"seq.base" -> "ocaml.5.4.0";
"sexp_pretty.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "re.1.14.0" "sexplib.v0.17.0"}
"sexplib.v0.17.0" -> {"dune.3.21.0" "num.1.6" "ocaml.5.4.0" "parsexp.v0.17.0" "sexplib0.v0.17.0"}
"sexplib0.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"spawn.v0.17.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"splittable_random.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_assert.v0.17.0" "ppx_bench.v0.17.1" "ppx_inline_test.v0.17.1" "ppx_sexp_message.v0.17.0"}
"stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0"}
"stdlib-shims.0.3.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"textutils.v0.17.0" -> {"core.v0.17.1" "core_kernel.v0.17.0" "core_unix.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0" "uutf.1.0.4"}
"time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.4.0" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.1"}
"timezone.v0.17.0" -> {"core.v0.17.1" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"topkg.1.1.1" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"typerep.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0"}
"uopt.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0" "ppx_jane.v0.17.0"}
"uutf.1.0.4" -> {"cmdliner.2.1.0" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"variantslib.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.4.0"}
"vdom.0.3" -> {"dune.3.21.0" "gen_js_api.1.1.6" "js_of_ocaml-compiler.6.2.0" "ocaml.5.4.0" "ojs.1.1.6"}
"yojson.3.0.0" -> {"dune.3.21.0" "ocaml.5.4.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.4.0" "ocamlfind.1.9.8"}
}