← Back to PR #29259
Build Log: frama_c_codex.1.0-rc4
Status: SUCCESS
Log Output
Processing: [default: loading data]
[frama_c_codex.1.0-rc4: extract]
-> retrieved frama_c_codex.1.0-rc4 (cached)
[frama_c_codex: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "frama_c_codex" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama_c_codex.1.0-rc4)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I frontends/frama-c/.core.objs/byte -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmo -c -impl frontends/frama-c/direct_analysis.ml)
- File "frontends/frama-c/direct_analysis.ml", line 457, characters 14-19:
- 457 | let succs = Interpreted_automata.G.succ (automaton.graph) in
- ^^^^^
- Warning 26 [unused-var]: unused variable succs.
-
- File "frontends/frama-c/direct_analysis.ml", line 546, characters 12-21:
- 546 | let final_map = FixpointIteration.fixpoint_partition initial_map fpstuff.wto in
- ^^^^^^^^^
- Warning 26 [unused-var]: unused variable final_map.
-
- File "frontends/frama-c/direct_analysis.ml", line 583, characters 12-18:
- 583 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 617, characters 10-16:
- 617 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 673, characters 11-15:
- 673 | let size =
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/direct_analysis.ml", line 854, characters 12-19:
- 854 | let context = state.context in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable context.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I frontends/frama-c/.core.objs/byte -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__C2Codex.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/byte/core__C2Codex.cmo -c -impl frontends/frama-c/C2Codex.ml)
- File "frontends/frama-c/C2Codex.ml", line 82, characters 10-17:
- 82 | let pointed = TypedC.{descr=Application{constr;args = []}; pred=Pred.true_;} in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable pointed.
-
- File "frontends/frama-c/C2Codex.ml", line 126, characters 14-21:
- 126 | let st_name = Some cname in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable st_name.
-
- File "frontends/frama-c/C2Codex.ml", line 232, characters 16-20:
- 232 | let size = Cil.bitsSizeOf vi.Cil_types.vtype in
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/C2Codex.ml", line 835, characters 14-19:
- 835 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 867, characters 30-34:
- 867 | | CEnum ({eival;_} as enum) ->
- ^^^^
- Warning 26 [unused-var]: unused variable enum.
-
- File "frontends/frama-c/C2Codex.ml", line 1625, characters 10-15:
- 1625 | let level = Domain.Context.level ctx in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1702, characters 20-25:
- 1702 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1727, characters 20-25:
- 1727 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1757, characters 18-23:
- 1757 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -O3 -I frontends/frama-c/.core.objs/byte -I frontends/frama-c/.core.objs/native -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__C2Codex.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/native/core__C2Codex.cmx -c -impl frontends/frama-c/C2Codex.ml)
- File "frontends/frama-c/C2Codex.ml", line 82, characters 10-17:
- 82 | let pointed = TypedC.{descr=Application{constr;args = []}; pred=Pred.true_;} in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable pointed.
-
- File "frontends/frama-c/C2Codex.ml", line 126, characters 14-21:
- 126 | let st_name = Some cname in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable st_name.
-
- File "frontends/frama-c/C2Codex.ml", line 232, characters 16-20:
- 232 | let size = Cil.bitsSizeOf vi.Cil_types.vtype in
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/C2Codex.ml", line 835, characters 14-19:
- 835 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 867, characters 30-34:
- 867 | | CEnum ({eival;_} as enum) ->
- ^^^^
- Warning 26 [unused-var]: unused variable enum.
-
- File "frontends/frama-c/C2Codex.ml", line 1625, characters 10-15:
- 1625 | let level = Domain.Context.level ctx in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1702, characters 20-25:
- 1702 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1727, characters 20-25:
- 1727 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
-
- File "frontends/frama-c/C2Codex.ml", line 1757, characters 18-23:
- 1757 | let level = state.context.loop_nesting_level in
- ^^^^^
- Warning 26 [unused-var]: unused variable level.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -O3 -I frontends/frama-c/.core.objs/byte -I frontends/frama-c/.core.objs/native -I /home/opam/.opam/default/lib/codex -I /home/opam/.opam/default/lib/codex/bdd -I /home/opam/.opam/default/lib/codex/binarytrace -I /home/opam/.opam/default/lib/codex/codex_config -I /home/opam/.opam/default/lib/codex/codex_log -I /home/opam/.opam/default/lib/codex/condition_map -I /home/opam/.opam/default/lib/codex/datatype_sig -I /home/opam/.opam/default/lib/codex/domains -I /home/opam/.opam/default/lib/codex/emit_alarm -I /home/opam/.opam/default/lib/codex/extstdlib -I /home/opam/.opam/default/lib/codex/fixpoint -I /home/opam/.opam/default/lib/codex/framac_ival -I /home/opam/.opam/default/lib/codex/gui -I /home/opam/.opam/default/lib/codex/gui/interface -I /home/opam/.opam/default/lib/codex/hashing -I /home/opam/.opam/default/lib/codex/hook -I /home/opam/.opam/default/lib/codex/interval_map -I /home/opam/.opam/default/lib/codex/lattices -I /home/opam/.opam/default/lib/codex/operator -I /home/opam/.opam/default/lib/codex/single_value_abstraction -I /home/opam/.opam/default/lib/codex/smtbackend -I /home/opam/.opam/default/lib/codex/terms -I /home/opam/.opam/default/lib/codex/tracelog -I /home/opam/.opam/default/lib/codex/types -I /home/opam/.opam/default/lib/codex/union_find -I /home/opam/.opam/default/lib/codex/units -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/frama-c/kernel -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -cmi-file frontends/frama-c/.core.objs/byte/core__Direct_analysis.cmi -no-alias-deps -open Core -o frontends/frama-c/.core.objs/native/core__Direct_analysis.cmx -c -impl frontends/frama-c/direct_analysis.ml)
- File "frontends/frama-c/direct_analysis.ml", line 457, characters 14-19:
- 457 | let succs = Interpreted_automata.G.succ (automaton.graph) in
- ^^^^^
- Warning 26 [unused-var]: unused variable succs.
-
- File "frontends/frama-c/direct_analysis.ml", line 546, characters 12-21:
- 546 | let final_map = FixpointIteration.fixpoint_partition initial_map fpstuff.wto in
- ^^^^^^^^^
- Warning 26 [unused-var]: unused variable final_map.
-
- File "frontends/frama-c/direct_analysis.ml", line 583, characters 12-18:
- 583 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 617, characters 10-16:
- 617 | let fundec = Kernel_function.get_definition kf in
- ^^^^^^
- Warning 26 [unused-var]: unused variable fundec.
-
- File "frontends/frama-c/direct_analysis.ml", line 673, characters 11-15:
- 673 | let size =
- ^^^^
- Warning 26 [unused-var]: unused variable size.
-
- File "frontends/frama-c/direct_analysis.ml", line 854, characters 12-19:
- 854 | let context = state.context in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable context.
[frama_c_codex: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "frama_c_codex" "--create-install-files" "frama_c_codex" (CWD=/home/opam/.opam/default/.opam-switch/build/frama_c_codex.1.0-rc4)
-> compiled frama_c_codex.1.0-rc4
-> installed frama_c_codex.1.0-rc4
[WARNING] Opam packages conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev
- conf-cairo.1: depends on libcairo2-dev
- conf-gmp.5: depends on libgmp-dev
- conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
- conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"alt-ergo.2.6.2" -> {"alt-ergo-lib.2.6.2" "alt-ergo-parsers.2.6.2" "cmdliner.1.3.0" "dune.3.21.0" "dune-site.3.21.0" "menhir.20250912" "ocaml.5.3.0"}
"alt-ergo-lib.2.6.2" -> {"camlzip.1.13" "dolmen.0.10" "dolmen_loop.0.10" "dolmen_type.0.10" "dune.3.21.0" "dune-build-info.3.21.0" "fmt.0.11.0" "ocaml.5.3.0" "ocplib-simplex.0.5.1" "ppx_blob.0.9.0" "ppx_deriving.6.1.1" "seq.base" "stdlib-shims.0.3.0" "zarith.1.14"}
"alt-ergo-parsers.2.6.2" -> {"alt-ergo-lib.2.6.2" "dune.3.21.0" "menhir.20250912" "ocaml.5.3.0" "psmt2-frontend.0.4.0" "stdlib-shims.0.3.0"}
"astring.0.8.5" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"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.3.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.3.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.3.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.3.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.3.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.3.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"base64.3.5.2" -> {"dune.3.21.0" "ocaml.5.3.0"}
"base_bigstring.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "int_repr.v0.17.0" "ocaml.5.3.0" "ppx_jane.v0.17.0"}
"base_quickcheck.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.0"}
"bin_prot.v0.17.0-1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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"}
"bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.21.0" "dune-configurator.3.21.0" "ocaml.5.3.0"}
"camlp-streams.5.0.1" -> {"dune.3.21.0" "ocaml.5.3.0"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.5.3.0" "ocamlfind.1.9.8"}
"capitalization.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppx_base.v0.17.0"}
"cmdliner.1.3.0" -> "ocaml.5.3.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"}
"conf-cairo.1" -> "conf-pkg-config.4";
"conf-gtk3.18" -> "conf-pkg-config.4";
"conf-gtksourceview3.0+2" -> "conf-pkg-config.4";
"conf-zlib.1" -> "conf-pkg-config.4";
"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.3.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.3.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.3.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.3.0"}
"csexp.1.5.2" -> {"dune.3.21.0" "ocaml.5.3.0"}
"cstruct.6.2.0" -> {"dune.3.21.0" "fmt.0.11.0" "ocaml.5.3.0"}
"ctypes.0.24.0" -> {"dune.3.21.0" "dune-configurator.3.21.0" "integers.0.7.0" "ocaml.5.3.0"}
"cudd.0.1.3" -> "dune.3.21.0";
"dolmen.0.10" -> {"dune.3.21.0" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.5.3.0" "seq.base"}
"dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.21.0" "gen.1.1" "ocaml.5.3.0" "pp_loc.2.1.0"}
"dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.21.0" "ocaml.5.3.0" "spelll.0.4" "uutf.1.0.4"}
"dune.3.21.0" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-build-info.3.21.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"dune-configurator.3.21.0" -> {"base-unix.base" "csexp.1.5.2" "dune.3.21.0" "ocaml.5.3.0"}
"dune-private-libs.3.21.0" -> {"csexp.1.5.2" "dune.3.21.0" "dyn.3.21.0" "ocaml.5.3.0" "pp.2.0.0" "stdune.3.21.0"}
"dune-site.3.21.0" -> {"dune.3.21.0" "dune-private-libs.3.21.0"}
"dyn.3.21.0" -> {"dune.3.21.0" "ocaml.5.3.0" "ordering.3.21.0" "pp.2.0.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.3.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.3.0"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.31.0" -> {"alt-ergo.2.6.2" "camlzip.1.13" "conf-gtksourceview3.0+2" "dune.3.21.0" "dune-configurator.3.21.0" "dune-site.3.21.0" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20250912" "ocaml.5.3.0" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "ppx_deriving_yaml.0.4.1" "ppx_deriving_yojson.3.10.0" "unionFind.20250818" "why3.1.8.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"}
"frama_c_codex.1.0-rc4" -> {"codex.1.0~rc4" "dune.3.21.0" "fmt.0.11.0" "frama-c.31.0" "patricia-tree.0.11.0" "zarith.1.14"}
"fs-io.3.21.0" -> {"base-unix.base" "dune.3.21.0" "ocaml.5.3.0"}
"gel.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppx_jane.v0.17.0"}
"gen.1.1" -> {"dune.3.21.0" "ocaml.5.3.0" "seq.base"}
"gen_js_api.1.1.6" -> {"dune.3.21.0" "ocaml.5.3.0" "ojs.1.1.6" "ppxlib.0.37.0"}
"hmap.0.8.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"int_repr.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppx_jane.v0.17.0"}
"integers.0.7.0" -> {"dune.3.21.0" "ocaml.5.3.0" "stdlib-shims.0.3.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"js_of_ocaml.6.2.0" -> {"dune.3.21.0" "js_of_ocaml-compiler.6.2.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"js_of_ocaml-compiler.6.2.0" -> {"cmdliner.1.3.0" "dune.3.21.0" "menhir.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.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.3.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.3.0" "ppx_assert.v0.17.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.21.0" "ocaml.5.3.0"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.21.0" "lablgtk3.3.1.5" "ocaml.5.3.0"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "js_of_ocaml-compiler.6.2.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20250912" -> {"dune.3.21.0" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.0"}
"menhirCST.20250912" -> {"dune.3.21.0" "ocaml.5.3.0"}
"menhirLib.20250912" -> {"dune.3.21.0" "ocaml.5.3.0"}
"menhirSdk.20250912" -> {"dune.3.21.0" "ocaml.5.3.0"}
"num.1.6" -> "ocaml.5.3.0";
"ocaml.5.3.0" -> {"ocaml-base-compiler.5.3.0" "ocaml-config.3"}
"ocaml-base-compiler.5.3.0" -> "ocaml-compiler.5.3.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.3.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.3.0" "ppx_jane.v0.17.0"}
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.21.0" "ocaml.5.3.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.3.0";
"ocamlfind.1.9.8" -> "ocaml.5.3.0";
"ocamlgraph.2.2.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"ocplib-simplex.0.5.1" -> {"dune.3.21.0" "logs.0.10.0" "ocaml.5.3.0" "ocamlfind.1.9.8"}
"ojs.1.1.6" -> {"dune.3.21.0" "js_of_ocaml-compiler.6.2.0" "ocaml.5.3.0"}
"ordering.3.21.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"pacomb.1.4.3" -> {"dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0" "stdlib-shims.0.3.0"}
"parsexp.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0" "sexplib0.v0.17.0"}
"patricia-tree.0.11.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"pp.2.0.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"pp_loc.2.1.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.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.3.0" "ppx_here.v0.17.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_blob.0.9.0" -> {"dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_derivers.1.2.1" -> {"dune.3.21.0" "ocaml.5.3.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.21.0" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_yaml.0.4.1" -> {"dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.21.0" "ocaml.5.3.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.0"}
"ppx_diff.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "gel.v0.17.0" "ocaml.5.3.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.3.0" "ppxlib.0.37.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.0" "ppxlib.0.37.0"}
"ppx_fixed_literal.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_globalize.v0.17.2" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.0" "ppxlib.0.37.0"}
"ppx_ignore_instrumentation.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_inline_test.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.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.3.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.3.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.3.0" "ppxlib.0.37.0" "stdio.v0.17.0"}
"ppx_optional.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_pipebang.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_sexp_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.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.3.0" "ppxlib.0.37.0"}
"ppx_stable_witness.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_string.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.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.3.0" "ppxlib.0.37.0"}
"ppx_typerep_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.0" "ppxlib.0.37.0" "variantslib.v0.17.0"}
"ppxlib.0.37.0" -> {"dune.3.21.0" "ocaml.5.3.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.3.0" "ppxlib.0.37.0"}
"protocol_version_header.v0.17.0" -> {"core.v0.17.1" "dune.3.21.0" "ocaml.5.3.0" "ppx_jane.v0.17.0"}
"psmt2-frontend.0.4.0" -> {"dune.3.21.0" "menhir.20250912" "ocaml.5.3.0"}
"qcheck-core.0.91" -> {"base-unix.base" "dune.3.21.0" "ocaml.5.3.0"}
"re.1.14.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"rresult.0.7.0" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"sedlex.3.7" -> {"dune.3.21.0" "gen.1.1" "ocaml.5.3.0" "ppxlib.0.37.0"}
"seq.base" -> "ocaml.5.3.0";
"sexp_pretty.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.0" "parsexp.v0.17.0" "sexplib0.v0.17.0"}
"sexplib0.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"spawn.v0.17.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"spelll.0.4" -> {"dune.3.21.0" "ocaml.5.3.0" "seq.base" "stdlib-shims.0.3.0"}
"splittable_random.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.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.3.0"}
"stdlib-shims.0.3.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"stdune.3.21.0" -> {"base-unix.base" "csexp.1.5.2" "dune.3.21.0" "dyn.3.21.0" "fs-io.3.21.0" "ocaml.5.3.0" "ordering.3.21.0" "pp.2.0.0" "top-closure.3.21.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.3.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.3.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.3.0" "ppx_jane.v0.17.0"}
"top-closure.3.21.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"topkg.1.1.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"typerep.v0.17.1" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0"}
"unionFind.20250818" -> {"dune.3.21.0" "ocaml.5.3.0"}
"uopt.v0.17.0" -> {"base.v0.17.3" "dune.3.21.0" "ocaml.5.3.0" "ppx_jane.v0.17.0"}
"uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.5.3.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.3.0"}
"vdom.0.3" -> {"dune.3.21.0" "gen_js_api.1.1.6" "js_of_ocaml-compiler.6.2.0" "ocaml.5.3.0" "ojs.1.1.6"}
"why3.1.8.2" -> {"camlzip.1.13" "menhir.20250912" "ocaml.5.3.0" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.1.1" "ppx_sexp_conv.v0.17.1" "sexplib.v0.17.0" "zarith.1.14"}
"yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.21.0" "dune-configurator.3.21.0" "ocaml.5.3.0"}
"yojson.3.0.0" -> {"dune.3.21.0" "ocaml.5.3.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"}
}