Build:
- 0
2026-06-23 20:55.11: New job: build colibri2.0.3.3 (28149cc9b391) 2026-06-23 20:55.11: Waiting for resource in pool day11-builds 2026-06-23 21:28.14: Got resource from pool day11-builds 2026-06-23 21:28.14: [profile full] build colibri2.0.3.3 2026-06-23 21:28.14: build colibri2.0.3.3 (28149cc9b391) === DEPENDENCIES (72 transitive) === antic.0.3.2 faf612a2f15b arb.0.3.2 560d728e4442 base.v0.15.2 af9925441b40 base-threads.base b7164ff76afe base-unix.base 839dc585f12d calcium.0.3.2 49f30a7bb3c4 cmdliner.1.3.0 dad70bc4de20 colibrilib.0.3.3 767a8a2f399b conf-antic.1 43813d6ba927 conf-arb.1 a2f26c4912a9 conf-autoconf.0.2 b3cd190cf0b5 conf-calcium.1 bb8aedce694a conf-flint.1 713e17eb0b5c conf-gmp.5 61e3c79e0ddf conf-mpfr.3 75c30ca60782 conf-pkg-config.5 4b60827fc174 containers.3.18 9762d3975957 cppo.1.8.0 65857b67db0c csexp.1.5.2 1763e7d8bb18 ctypes.0.24.0 388af88f2003 dolmen.0.7 2d64be80fd6f dolmen_loop.0.7 0db0988841cd dolmen_type.0.7 e7ced426bf80 dune.3.10.0 df85a1e585dc dune-build-info.3.13.1 3997c5e9627b dune-configurator.3.13.1 d3dd00276dc2 either.1.0.0 3a3f00390425 farith.0.1 91015cf2c59a flint.0.3.2 2cd17504b911 fmt.0.11.0 2f125ef7f2a8 gen.1.1 c53599a684a9 integers.0.8.0 36ce27c38c3a jane-street-headers.v0.15.0 8a9975fe2df8 jst-config.v0.15.1 8446a07de737 menhir.20250912 eb7a57f58b9e menhirCST.20250912 4241dd76e8bd menhirLib.20250912 1ec9ff99805a menhirSdk.20250912 bd7fc5fb350b num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 9156510a1aee ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e ocamlgraph.2.2.0 c067ab0c27f6 ocplib-simplex.0.4.1 e8755ec4bafa pp_loc.2.1.0 366aa060c6fd ppx_assert.v0.15.0 33644b5db16d ppx_base.v0.15.0 a167e632d4f8 ppx_cold.v0.15.0 8caa91333234 ppx_compare.v0.15.0 d1a77ea30e87 ppx_derivers.1.2.1 7b8c87364afc ppx_deriving.6.0.3 4a83ce481655 ppx_enumerate.v0.15.0 a7d5925d551b ppx_hash.v0.15.0 a50b17730999 ppx_here.v0.15.0 790c49ad9e00 ppx_inline_test.v0.15.1 53acae78b1ef ppx_optcomp.v0.15.0 c0684a08c84e ppx_sexp_conv.v0.15.1 26023d72627f ppxlib.0.35.0 d56020850c7c qcheck-core.0.91 30673e9f3174 re.1.12.0 1d6948aa178a seq.base 063828a3d698 sexplib0.v0.15.1 3b1bc49bccba spelll.0.4 8b6d007b00c1 stdio.v0.15.0 9f764da53971 stdlib-shims.0.3.0 77e30314a4de time_now.v0.15.0 f57b675f071c topkg.1.1.1 ab549298f3fc uutf.1.0.4 9791e8459782 zarith.1.14 da8b932acb94 === STDOUT === Processing: [default: loading data] [colibri2.0.3.3: extract] -> retrieved colibri2.0.3.3 (cached) [colibri2: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "colibri2" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/colibri2.0.3.3) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -g -bin-annot -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/zarith -no-alias-deps -open Colibri2_popop_lib -o src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte/colibri2_popop_lib__Map_intf.cmo -c -impl src_colibri2/popop_lib/map_intf.pp.ml) - File "src_colibri2/popop_lib/map_intf.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Config.cmo -c -impl src_colibri2/stdlib/config.pp.ml) - File "src_colibri2/stdlib/config.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Std_sig.cmo -c -impl src_colibri2/stdlib/std_sig.pp.ml) - File "src_colibri2/stdlib/std_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Map_hetero_sig.cmo -c -impl src_colibri2/stdlib/map_hetero_sig.pp.ml) - File "src_colibri2/stdlib/map_hetero_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Hashtbl_hetero_sig.cmo -c -impl src_colibri2/stdlib/hashtbl_hetero_sig.pp.ml) - File "src_colibri2/stdlib/hashtbl_hetero_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Std.cmo -c -impl src_colibri2/stdlib/std.pp.ml) - File "src_colibri2/stdlib/std.ml", line 136, characters 15-31: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_signed_int - Use [int_small] instead - File "src_colibri2/stdlib/std.ml", line 136, characters 43-52: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - File "src_colibri2/stdlib/std.ml", line 288, characters 4-13: - 288 | frequency - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -bin-annot -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Keys_sig.cmo -c -impl src_colibri2/stdlib/keys_sig.pp.ml) - File "src_colibri2/stdlib/keys_sig.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Theory.cmo -c -impl src_colibri2/core/theory.pp.ml) - File "src_colibri2/core/theory.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Term.cmo -c -impl src_colibri2/core/term.pp.ml) - File "src_colibri2/core/term.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -g -bin-annot -I src_colibri2/core/.colibri2_core.objs/byte -I src_colibri2/core/.colibri2_core.objs/public_cmi -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o src_colibri2/core/.colibri2_core.objs/byte/colibri2_core__Expr.cmo -c -impl src_colibri2/core/expr.pp.ml) - File "src_colibri2/core/expr.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Containers -g -O3 -bin-annot -unbox-closures -unbox-closures-factor 20 -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/native -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o src_colibri2/stdlib/.colibri2_stdlib.objs/native/colibri2_stdlib__Std.cmx -c -impl src_colibri2/stdlib/std.pp.ml) - File "src_colibri2/stdlib/std.ml", line 136, characters 15-31: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_signed_int - Use [int_small] instead - File "src_colibri2/stdlib/std.ml", line 136, characters 43-52: - 136 | let+ num = small_signed_int and+ den = small_nat in - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - File "src_colibri2/stdlib/std.ml", line 288, characters 4-13: - 288 | frequency - ^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Colibri2_stdlib -open Colibri2_core -g -bin-annot -I src_colibri2/solver/.colibri2_solver.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_solver -o src_colibri2/solver/.colibri2_solver.objs/byte/colibri2_solver__Solver.cmo -c -impl src_colibri2/solver/solver.pp.ml) - File "src_colibri2/solver/solver.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-60-40-9@8 -color always -open Colibri2_stdlib -open Colibri2_core -g -bin-annot -I src_colibri2/solver/.colibri2_solver.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_solver -o src_colibri2/solver/.colibri2_solver.objs/byte/colibri2_solver__Input.cmo -c -impl src_colibri2/solver/input.pp.ml) - File "src_colibri2/solver/input.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60-40-9@8 -color always -open Colibri2_stdlib -open Std -open Colibri2_core -open Colibri2_theories_bool -open Colibri2_theories_LRA_stages_def -g -bin-annot -I src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -no-alias-deps -open Colibri2_theories_LRA -o src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte/colibri2_theories_LRA__LRA_build.cmo -c -impl src_colibri2/theories/LRA/LRA_build.pp.ml) - File "src_colibri2/theories/LRA/LRA_build.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Colibri2_theories_LRA_stages_def -open Colibri2_stdlib -open Std -open Containers -g -bin-annot -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/colibrilib -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte/colibri2_theories_LRA_stages_stage2_union_domain__Union.cmo -c -impl src_colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 55, characters 4-24: - 55 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 64, characters 6-26: - 64 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 73, characters 13-23: - 73 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 89, characters 4-24: - 89 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 98, characters 4-24: - 98 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60-40-9@8 -color always -open Containers -open Colibri2_stdlib -open Std -open Colibri2_theories_bool -open Colibri2_theories_quantifiers -open Colibri2_core -g -bin-annot -I src_colibri2/theories/FP/.colibri2_theories_fp.objs/byte -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/farith -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/theories/LRA/.colibri2_theories_LRA.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -no-alias-deps -open Colibri2_theories_fp -o src_colibri2/theories/FP/.colibri2_theories_fp.objs/byte/colibri2_theories_fp__Dom_interval.cmo -c -impl src_colibri2/theories/FP/dom_interval.pp.ml) - File "src_colibri2/theories/FP/dom_interval.pp.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Colibri2_theories_LRA_stages_def -open Colibri2_stdlib -open Std -open Containers -g -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte -I src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/native -I /home/opam/.opam/default/lib/antic -I /home/opam/.opam/default/lib/arb -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/calcium -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/colibrilib -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/flint -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/zarith -I src_colibri2/core/.colibri2_core.objs/native -I src_colibri2/core/.colibri2_core.objs/public_cmi -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I src_colibri2/popop_lib/.colibri2_popop_lib.objs/native -I src_colibri2/stdlib/.colibri2_stdlib.objs/byte -I src_colibri2/stdlib/.colibri2_stdlib.objs/native -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I src_colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/native -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I src_colibri2/theories/bool/.colibri2_theories_bool.objs/native -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -I src_colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o src_colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/native/colibri2_theories_LRA_stages_stage2_union_domain__Union.cmx -c -impl src_colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 55, characters 4-24: - 55 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 64, characters 6-26: - 64 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 73, characters 13-23: - 73 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 89, characters 4-24: - 89 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "src_colibri2/theories/LRA/stages/stage2/union.ml", line 98, characters 4-24: - 98 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead -> compiled colibri2.0.3.3 -> installed colibri2.0.3.3 [WARNING] Opam packages conf-arb.1, conf-autoconf.0.2, conf-calcium.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf libcalcium-dev libflint-arb-dev pkg-config - conf-arb.1: depends on libflint-arb-dev - conf-autoconf.0.2: depends on autoconf - conf-calcium.1: depends on libcalcium-dev - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-06-23 21:31.07: OK: build colibri2.0.3.3 (runc: 68.0s, disk: 58KB) 2026-06-23 21:31.07: Job succeeded