← Back to PR #29083
Build Log: binsec_codex.1.0-for-opam
Status: DEPENDENCY FAILED
Log Output
Processing: [default: loading data]
[codex.1.0-rc1: http]
[codex.1.0-rc1: extract]
-> retrieved codex.1.0-rc1 (https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-for-opam.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-rc1)
- (cd _build/default/utils && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -g -I /home/opam/.opam/default/lib/ocaml -o int_builtins_c.o -c int_builtins_c.c)
- int_builtins_c.c:99:23: warning: conflicting types for built-in function 'ffs'; expected 'int(int)' [-Wbuiltin-declaration-mismatch]
- 99 | static inline uintnat ffs(uintnat v){
- | ^~~
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I utils/tracelog/.tracelog.objs/byte -I /home/opam/.opam/default/lib/ocaml/unix -cmi-file utils/tracelog/.tracelog.objs/byte/tracelog.cmi -no-alias-deps -open Tracelog__ -o utils/tracelog/.tracelog.objs/byte/tracelog.cmo -c -impl utils/tracelog/tracelog.ml)
- File "utils/tracelog/tracelog.ml", line 232, characters 12-23:
- 232 | let colored_log fmt =
- ^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable colored_log.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmo -c -impl fixpoint/wto.ml)
- File "fixpoint/wto.ml", line 324, characters 19-23:
- 324 | let partition ?pref ~init ~succs =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -I /home/opam/.opam/default/lib/ocaml/unix -cmi-file utils/tracelog/.tracelog.objs/byte/tracelog.cmi -no-alias-deps -open Tracelog__ -o utils/tracelog/.tracelog.objs/native/tracelog.cmx -c -impl utils/tracelog/tracelog.ml)
- File "utils/tracelog/tracelog.ml", line 232, characters 12-23:
- 232 | let colored_log fmt =
- ^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable colored_log.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmo -c -impl fixpoint/wto_iteration.ml)
- File "fixpoint/wto_iteration.ml", line 116, characters 36-37:
- 116 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I smtbackend/.Smtbackend.objs/byte -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -cmi-file smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmi -no-alias-deps -open Smtbackend__ -o smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmo -c -impl smtbackend/smtbackend_smtlib.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmo -c -impl fixpoint/fixpoint_wto.ml)
- File "fixpoint/fixpoint_wto.ml", line 98, characters 34-35:
- 98 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Wto.cmx -c -impl fixpoint/wto.ml)
- File "fixpoint/wto.ml", line 324, characters 19-23:
- 324 | let partition ?pref ~init ~succs =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I transfer_functions/.transfer_functions.objs/byte -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -cmi-file transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmi -no-alias-deps -open Transfer_functions__ -o transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmo -c -impl transfer_functions/term.ml)
- File "transfer_functions/term.ml", line 659, characters 50-52:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 659, characters 53-55:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 660, characters 50-52:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 660, characters 53-55:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 661, characters 45-47:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 661, characters 48-50:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 666, characters 44-46:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 666, characters 47-49:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -bin-annot -bin-annot-occurrences -I ext/framac_ival/.Framac_ival.objs/byte -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmo -c -impl ext/framac_ival/ival_noinf.ml)
- File "ext/framac_ival/ival_noinf.ml", line 799, characters 7-19:
- 799 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -bin-annot -bin-annot-occurrences -I ext/framac_ival/.Framac_ival.objs/byte -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmo -c -impl ext/framac_ival/ival.ml)
- File "ext/framac_ival/ival.ml", line 832, characters 7-19:
- 832 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I smtbackend/.Smtbackend.objs/byte -I smtbackend/.Smtbackend.objs/native -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_config.objs/native -I .codex_log.objs/byte -I .codex_log.objs/native -cmi-file smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmi -no-alias-deps -open Smtbackend__ -o smtbackend/.Smtbackend.objs/native/smtbackend__Smtbackend_smtlib.cmx -c -impl smtbackend/smtbackend_smtlib.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Wto_iteration.cmx -c -impl fixpoint/wto_iteration.ml)
- File "fixpoint/wto_iteration.ml", line 116, characters 36-37:
- 116 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Fixpoint_wto.cmx -c -impl fixpoint/fixpoint_wto.ml)
- File "fixpoint/fixpoint_wto.ml", line 98, characters 34-35:
- 98 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I transfer_functions/.transfer_functions.objs/byte -I transfer_functions/.transfer_functions.objs/native -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -cmi-file transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmi -no-alias-deps -open Transfer_functions__ -o transfer_functions/.transfer_functions.objs/native/transfer_functions__Term.cmx -c -impl transfer_functions/term.ml)
- File "transfer_functions/term.ml", line 659, characters 50-52:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 659, characters 53-55:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 660, characters 50-52:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 660, characters 53-55:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 661, characters 45-47:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 661, characters 48-50:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 666, characters 44-46:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 666, characters 47-49:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I single_value_abstraction/.Single_value_abstraction.objs/byte -I /home/opam/.opam/default/lib/zarith -I ext/framac_ival/.Framac_ival.objs/byte -I lattices/.lattices.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.datatype_sig.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Quadrivalent_basis.cmi -no-alias-deps -open Single_value_abstraction__ -o single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Quadrivalent_basis.cmo -c -impl single_value_abstraction/quadrivalent_basis.ml)
- File "single_value_abstraction/quadrivalent_basis.ml", line 29, characters 15-20:
- 29 | let unknown ?level = Top
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_condition.cmo -c -impl constraints/constraints_condition.ml)
- File "constraints/constraints_condition.ml", line 719, characters 22-32:
- 719 | type t = Cudd.Man.d Cudd.Bdd.t
- ^^^^^^^^^^
- Error: The module Cudd.Bdd is a functor, it cannot have any components
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I single_value_abstraction/.Single_value_abstraction.objs/byte -I /home/opam/.opam/default/lib/zarith -I ext/framac_ival/.Framac_ival.objs/byte -I lattices/.lattices.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.datatype_sig.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Ival_basis.cmi -no-alias-deps -open Single_value_abstraction__ -o single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Ival_basis.cmo -c -impl single_value_abstraction/ival_basis.ml)
- File "single_value_abstraction/ival_basis.ml", line 670, characters 10-11:
- 670 | let f fmt =
- ^
- Warning 26 [unused-var]: unused variable f.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -cmi-file constraints/.Constraints.objs/byte/constraints__Constraints_smt.cmi -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_smt.cmo -c -impl constraints/constraints_smt.ml)
- File "constraints/constraints_smt.ml", line 157, characters 17-22:
- 157 | let first = index in
- ^^^^^
- Warning 26 [unused-var]: unused variable first.
-
- File "constraints/constraints_smt.ml", line 158, characters 17-21:
- 158 | let last = index + size - 1 in
- ^^^^
- Warning 26 [unused-var]: unused variable last.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -O3 -I ext/framac_ival/.Framac_ival.objs/byte -I ext/framac_ival/.Framac_ival.objs/native -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/native/framac_ival__Ival_noinf.cmx -c -impl ext/framac_ival/ival_noinf.ml)
- File "ext/framac_ival/ival_noinf.ml", line 799, characters 7-19:
- 799 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -O3 -I ext/framac_ival/.Framac_ival.objs/byte -I ext/framac_ival/.Framac_ival.objs/native -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/native/framac_ival__Ival.cmx -c -impl ext/framac_ival/ival.ml)
- File "ext/framac_ival/ival.ml", line 832, characters 7-19:
- 832 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -cmi-file constraints/.Constraints.objs/byte/constraints__Constraints_constraints.cmi -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_constraints.cmo -c -impl constraints/constraints_constraints.ml)
- File "constraints/constraints_constraints.ml", line 398, characters 15-16:
- 398 | | Root _ -> ()
- ^
- Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I types/.Type_parser.objs/byte -I types/.Type_parser.objs/native -I /home/opam/.opam/default/lib/pacomb -I /home/opam/.opam/default/lib/zarith -I types/.type_parse_tree.objs/byte -I types/.type_parse_tree.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file types/.Type_parser.objs/byte/type_parser.cmi -no-alias-deps -o types/.Type_parser.objs/native/type_parser.cmx -c -impl types/type_parser.pp.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I types/.Type_parser.objs/byte -I /home/opam/.opam/default/lib/pacomb -I /home/opam/.opam/default/lib/zarith -I types/.type_parse_tree.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file types/.Type_parser.objs/byte/type_parser.cmi -no-alias-deps -o types/.Type_parser.objs/byte/type_parser.cmo -c -impl types/type_parser.pp.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
[ERROR] The compilation of codex.1.0-rc1 failed at "dune build -p codex -j 255 --promote-install-files=false @install".
build failed...
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.20.2" "ocaml.5.2.1" "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.20.2" "ocaml.5.2.1" "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.20.2" "ocaml.5.2.1" "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.20.2" "gel.v0.17.0" "ocaml.5.2.1" "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.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.0"}
"base.v0.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.2.1" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"base64.3.5.2" -> {"dune.3.20.2" "ocaml.5.2.1"}
"base_bigstring.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "int_repr.v0.17.0" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"base_quickcheck.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_base.v0.17.0" "ppx_fields_conv.v0.17.0" "ppx_let.v0.17.0" "ppx_sexp_message.v0.17.0" "ppx_sexp_value.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0" "splittable_random.v0.17.0"}
"bheap.2.0.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"bin_prot.v0.17.0-1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_compare.v0.17.0" "ppx_custom_printf.v0.17.0" "ppx_fields_conv.v0.17.0" "ppx_optcomp.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppx_stable_witness.v0.17.0" "ppx_variants_conv.v0.17.0"}
"binsec.0.10.1" -> {"dune.3.20.2" "dune-site.3.20.2" "grain_dypgen.0.2.1" "menhir.20250912" "ocaml.5.2.1" "ocamlgraph.2.2.0" "toml.7.1.0" "zarith.1.14"}
"binsec_codex.1.0-for-opam" -> {"binsec.0.10.1" "codex.1.0-rc1" "dune.3.20.2" "js_of_ocaml-ppx.6.2.0" "ocaml-embed-file.v0.17.0" "vdom.0.3"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.2.1"}
"capitalization.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_base.v0.17.0"}
"cmdliner.2.1.0" -> "ocaml.5.2.1";
"codex.1.0-rc1" -> {"base64.3.5.2" "bheap.2.0.0" "camlp-streams.5.0.1" "cudd.0.1.3" "dune.3.20.2" "fmt.0.11.0" "pacomb.1.3" "patricia-tree.0.11.0" "ppx_inline_test.v0.17.0" "qcheck-core.0.27" "zarith.1.14"}
"core.v0.17.1" -> {"base.v0.17.3" "base_bigstring.v0.17.0" "base_quickcheck.v0.17.0" "bin_prot.v0.17.0-1" "dune.3.20.2" "fieldslib.v0.17.0" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.2.1" "ppx_assert.v0.17.0" "ppx_base.v0.17.0" "ppx_diff.v0.17.0" "ppx_hash.v0.17.0" "ppx_inline_test.v0.17.0" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.0" "ppx_sexp_conv.v0.17.0" "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.20.2" "int_repr.v0.17.0" "ocaml.5.2.1" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.0" "uopt.v0.17.0"}
"core_unix.v0.17.1" -> {"base-threads.base" "core.v0.17.1" "core_kernel.v0.17.0" "dune.3.20.2" "expect_test_helpers_core.v0.17.0" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.2.1" "ppx_jane.v0.17.0" "ppx_optcomp.v0.17.0" "sexplib.v0.17.0" "spawn.v0.17.0" "timezone.v0.17.0" "uopt.v0.17.0"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.2.1"}
"cstruct.6.2.0" -> {"dune.3.20.2" "fmt.0.11.0" "ocaml.5.2.1"}
"cudd.0.1.3" -> "dune.3.20.2";
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.2.1"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.2.1"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.2.1" "pp.2.0.0" "stdune.3.20.2"}
"dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"}
"dyn.3.20.2" -> {"dune.3.20.2" "ocaml.5.2.1" "ordering.3.20.2" "pp.2.0.0"}
"dypgen.0.2.1" -> {"dune.3.20.2" "ocaml.5.2.1"}
"expect_test_helpers_core.v0.17.0" -> {"base.v0.17.3" "base_quickcheck.v0.17.0" "core.v0.17.1" "dune.3.20.2" "ocaml.5.2.1" "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.20.2" "ocaml.5.2.1"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.1.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"gel.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.5.2.1" "seq.base"}
"gen_js_api.1.1.5" -> {"dune.3.20.2" "ocaml.5.2.1" "ojs.1.1.5" "ppxlib.0.35.0"}
"grain_dypgen.0.2.1" -> {"dune.3.20.2" "dypgen.0.2.1"}
"ISO8601.0.2.6" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.2.1"}
"int_repr.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"js_of_ocaml.6.2.0" -> {"dune.3.20.2" "js_of_ocaml-compiler.6.2.0" "ocaml.5.2.1" "ppxlib.0.35.0"}
"js_of_ocaml-compiler.6.2.0" -> {"cmdliner.2.1.0" "dune.3.20.2" "menhir.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.2.1" "ocamlfind.1.9.8" "ppxlib.0.35.0" "sedlex.3.7" "yojson.3.0.0"}
"js_of_ocaml-ppx.6.2.0" -> {"dune.3.20.2" "js_of_ocaml.6.2.0" "ocaml.5.2.1" "ppxlib.0.35.0"}
"jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.2.1" "ppx_assert.v0.17.0"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.2.1"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.2.1"}
"num.1.6" -> "ocaml.5.2.1";
"ocaml.5.2.1" -> {"ocaml-base-compiler.5.2.1" "ocaml-config.3"}
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ocaml-config.3" -> "ocaml-base-compiler.5.2.1";
"ocaml-embed-file.v0.17.0" -> {"async.v0.17.0" "core.v0.17.1" "core_unix.v0.17.1" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ocamlbuild.0.16.1" -> "ocaml.5.2.1";
"ocamlfind.1.9.8" -> "ocaml.5.2.1";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ojs.1.1.5" -> {"dune.3.20.2" "js_of_ocaml-compiler.6.2.0" "ocaml.5.2.1"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.2.1"}
"pacomb.1.3" -> {"dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "stdlib-shims.0.3.0"}
"parsexp.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "sexplib0.v0.17.0"}
"patricia-tree.0.11.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_base.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.0" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_bench.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ppx_inline_test.v0.17.0" "ppxlib.0.35.0"}
"ppx_bin_prot.v0.17.0" -> {"base.v0.17.3" "bin_prot.v0.17.0-1" "dune.3.20.2" "ocaml.5.2.1" "ppx_here.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_custom_printf.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.2.1"}
"ppx_diff.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "gel.v0.17.0" "ocaml.5.2.1" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_jane.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_disable_unused_warnings.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_expect.v0.17.2" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_here.v0.17.0" "ppx_inline_test.v0.17.0" "ppxlib.0.35.0" "stdio.v0.17.0"}
"ppx_fields_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "fieldslib.v0.17.0" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_fixed_literal.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_globalize.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_ignore_instrumentation.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_inline_test.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "time_now.v0.17.0"}
"ppx_jane.v0.17.0" -> {"base_quickcheck.v0.17.0" "dune.3.20.2" "ocaml.5.2.1" "ppx_assert.v0.17.0" "ppx_base.v0.17.0" "ppx_bench.v0.17.0" "ppx_bin_prot.v0.17.0" "ppx_custom_printf.v0.17.0" "ppx_disable_unused_warnings.v0.17.0" "ppx_expect.v0.17.2" "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.0" "ppx_let.v0.17.0" "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.0" "ppx_stable_witness.v0.17.0" "ppx_string.v0.17.0" "ppx_string_conv.v0.17.0" "ppx_tydi.v0.17.0" "ppx_typerep_conv.v0.17.0" "ppx_variants_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_let.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_here.v0.17.0" "ppxlib.0.35.0"}
"ppx_log.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_expect.v0.17.2" "ppx_fields_conv.v0.17.0" "ppx_here.v0.17.0" "ppx_let.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppx_sexp_message.v0.17.0" "ppx_sexp_value.v0.17.0" "ppx_string.v0.17.0" "ppx_variants_conv.v0.17.0" "ppxlib.0.35.0" "sexplib.v0.17.0" "stdio.v0.17.0"}
"ppx_module_timer.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_base.v0.17.0" "ppxlib.0.35.0" "stdio.v0.17.0" "time_now.v0.17.0"}
"ppx_optcomp.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "stdio.v0.17.0"}
"ppx_optional.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0"}
"ppx_pipebang.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_sexp_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "ppxlib_jane.v0.17.0" "sexplib0.v0.17.0"}
"ppx_sexp_message.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_sexp_value.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_stable.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_stable_witness.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_string.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_base.v0.17.0" "ppxlib.0.35.0"}
"ppx_string_conv.v0.17.0" -> {"base.v0.17.3" "capitalization.v0.17.0" "dune.3.20.2" "ocaml.5.2.1" "ppx_let.v0.17.0" "ppx_string.v0.17.0" "ppxlib.0.35.0"}
"ppx_tydi.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"ppx_typerep_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "typerep.v0.17.1"}
"ppx_variants_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0" "variantslib.v0.17.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"ppxlib_jane.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1" "ppxlib.0.35.0"}
"protocol_version_header.v0.17.0" -> {"core.v0.17.1" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"qcheck-core.0.27" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.2.1"}
"re.1.14.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"sedlex.3.7" -> {"dune.3.20.2" "gen.1.1" "ocaml.5.2.1" "ppxlib.0.35.0"}
"seq.base" -> "ocaml.5.2.1";
"sexp_pretty.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_base.v0.17.0" "re.1.14.0" "sexplib.v0.17.0"}
"sexplib.v0.17.0" -> {"dune.3.20.2" "num.1.6" "ocaml.5.2.1" "parsexp.v0.17.0" "sexplib0.v0.17.0"}
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"spawn.v0.17.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"splittable_random.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_assert.v0.17.0" "ppx_bench.v0.17.0" "ppx_inline_test.v0.17.0" "ppx_sexp_message.v0.17.0"}
"stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.2.1" "ordering.3.20.2" "pp.2.0.0"}
"textutils.v0.17.0" -> {"core.v0.17.1" "core_kernel.v0.17.0" "core_unix.v0.17.1" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0" "uutf.1.0.4"}
"time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.2.1" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.0"}
"timezone.v0.17.0" -> {"core.v0.17.1" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"toml.7.1.0" -> {"dune.3.20.2" "ISO8601.0.2.6" "menhir.20250912" "ocaml.5.2.1"}
"topkg.1.1.1" -> {"ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"typerep.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1"}
"uopt.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1" "ppx_jane.v0.17.0"}
"uutf.1.0.4" -> {"cmdliner.2.1.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"variantslib.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.2.1"}
"vdom.0.3" -> {"dune.3.20.2" "gen_js_api.1.1.5" "js_of_ocaml-compiler.6.2.0" "ocaml.5.2.1" "ojs.1.1.5"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.2.1"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.2.1" "ocamlfind.1.9.8"}
}