Build:
- 0
2026-06-26 10:30.56: New job: build colibri2.0.4 (cccaeb521736) 2026-06-26 10:30.56: Waiting for resource in pool day11-builds 2026-06-26 11:17.33: Got resource from pool day11-builds 2026-06-26 11:17.33: [profile full] build colibri2.0.4 2026-06-26 11:17.33: build colibri2.0.4 (cccaeb521736) === DEPENDENCIES (72 transitive) === antic.0.3.2 303fb881ff31 arb.0.3.2 d21e8cb6303e base.v0.15.2 c54895f1ce80 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb calcium.0.3.2 dde1717ac98b cmdliner.1.3.0 7f4a9daa8f5c colibrilib.0.4 57f556f6efb7 conf-antic.1 0a647470f7b6 conf-arb.1 9cb39a34ab46 conf-autoconf.0.2 676e4452dc37 conf-calcium.1 17755788ea47 conf-flint.1 de9dcbe7a05d conf-gmp.5 be11edf77089 conf-mpfr.3 4ee405053a13 conf-pkg-config.5 d5de2c6a88f9 containers.3.18 a5bfc6d1ea40 cppo.1.8.0 2213957c5f75 csexp.1.5.2 14d06f709ee1 ctypes.0.24.0 aac85e374ab4 dolmen.0.8.1 cdfcf76db756 dolmen_loop.0.8.1 c0b7697e7dd6 dolmen_type.0.8.1 8b10228389f4 dune.3.10.0 15377c5b17ff dune-build-info.3.13.1 1f103c0397aa dune-configurator.3.13.1 f45e7709127d either.1.0.0 122ad3a28600 farith.0.1 16c6bb324820 flint.0.3.2 11773c887d28 fmt.0.11.0 ce72e7684637 gen.1.1 df0507908e1f integers.0.8.0 65cdbea99b0e jane-street-headers.v0.15.0 1382e5cd8944 jst-config.v0.15.1 694d22cef1a4 menhir.20250912 82b18b3b3c1f menhirCST.20250912 d1fe4750ea3e menhirLib.20250912 cd149ccd49d4 menhirSdk.20250912 33117bdde9ae num.1.6 e4a7a6e0ddbc ocaml.5.0.0 bf52e7fc3967 ocaml-base-compiler.5.0.0 8a45cc139786 ocaml-compiler-libs.v0.12.4 a1ee15e3cbf9 ocaml-config.3 814dad1b05c3 ocamlbuild.0.16.1 75321383b65a ocamlfind.1.9.8 075d2a928b3c ocamlgraph.2.2.0 03f07ee0021e ocplib-simplex.0.4 79fae9ef2140 pp_loc.2.1.0 9ae96c7997e4 ppx_assert.v0.15.0 49ecb3d81e4f ppx_base.v0.15.0 d87e1c0f1bf6 ppx_cold.v0.15.0 618e137e23fe ppx_compare.v0.15.0 fb5b4b739795 ppx_derivers.1.2.1 d985441e90b8 ppx_deriving.6.0.3 f2556f8c0c68 ppx_enumerate.v0.15.0 d256b06a26f2 ppx_hash.v0.15.0 08ffb91b64e7 ppx_here.v0.15.0 aa46eca89d70 ppx_inline_test.v0.15.1 75492f16c8f4 ppx_optcomp.v0.15.0 2985a164b9f0 ppx_sexp_conv.v0.15.1 dcdcb40fde3b ppxlib.0.35.0 eb36639fc6d9 qcheck-core.0.91 483b16c7794b re.1.12.0 6d2e24977b68 seq.base 2d701ef6ee73 sexplib0.v0.15.1 56d58386dfce spelll.0.4 da7fb78ccc10 stdio.v0.15.0 f49af2a6b9dc stdlib-shims.0.3.0 8ee55f084add time_now.v0.15.0 40e99fb96640 topkg.1.1.1 68669f8ef39b uutf.1.0.4 f7af1ccfd0f2 zarith.1.14 fd9009e5d689 === STDOUT === Processing: [default: loading data] [colibri2.0.4: extract] -> retrieved colibri2.0.4 (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.4) - (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 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/ocaml/str -I /home/opam/.opam/default/lib/ocaml/unix -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 colibri2/popop_lib/.colibri2_popop_lib.objs/byte/colibri2_popop_lib__Map_intf.cmo -c -impl colibri2/popop_lib/map_intf.pp.ml) - File "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-70 -color always -open Containers -g -bin-annot -I 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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I colibri2/popop_lib/.colibri2_popop_lib.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o colibri2/stdlib/.colibri2_stdlib.objs/byte/colibri2_stdlib__Std.cmo -c -impl colibri2/stdlib/std.pp.ml) - File "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 "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 "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 -open Colibri2_stdlib -open Std -g -bin-annot -I colibri2/core/.colibri2_core.objs/byte -I 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/smtlib2/v6_response -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -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 colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_core__ -o colibri2/core/.colibri2_core.objs/byte/colibri2_core__Expr.cmo -c -impl colibri2/core/expr.pp.ml) - File "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-70 -color always -open Containers -g -O3 -bin-annot -unbox-closures -unbox-closures-factor 20 -I colibri2/stdlib/.colibri2_stdlib.objs/byte -I 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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/zarith -I colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I colibri2/popop_lib/.colibri2_popop_lib.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_stdlib -o colibri2/stdlib/.colibri2_stdlib.objs/native/colibri2_stdlib__Std.cmx -c -impl colibri2/stdlib/std.pp.ml) - File "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 "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 "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 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/smtlib2/v6_response -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -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 colibri2/core/.colibri2_core.objs/public_cmi -I colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I colibri2/stdlib/.colibri2_stdlib.objs/byte -no-alias-deps -open Colibri2_solver -o colibri2/solver/.colibri2_solver.objs/byte/colibri2_solver__Solver.cmo -c -impl colibri2/solver/solver.pp.ml) - File "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 -open Colibri2_theories_LRA_stages_def -open Colibri2_stdlib -open Std -open Containers -g -bin-annot -I 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/smtlib2/v6_response -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -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 colibri2/core/.colibri2_core.objs/public_cmi -I colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I colibri2/stdlib/.colibri2_stdlib.objs/byte -I colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o 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 colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "colibri2/theories/LRA/stages/stage2/union.ml", line 59, characters 4-24: - 59 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 68, characters 6-26: - 68 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 77, characters 13-23: - 77 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 93, characters 4-24: - 93 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 102, characters 4-24: - 102 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (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 colibri2/theories/LRA/stages/stage2/.colibri2_theories_LRA_stages_stage2_union_domain.objs/byte -I 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/smtlib2/v6_response -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -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/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -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/re -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 colibri2/core/.colibri2_core.objs/native -I colibri2/core/.colibri2_core.objs/public_cmi -I colibri2/popop_lib/.colibri2_popop_lib.objs/byte -I colibri2/popop_lib/.colibri2_popop_lib.objs/native -I colibri2/stdlib/.colibri2_stdlib.objs/byte -I colibri2/stdlib/.colibri2_stdlib.objs/native -I colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/byte -I colibri2/theories/LRA/stages/.colibri2_theories_LRA_stages_def.objs/native -I colibri2/theories/bool/.colibri2_theories_bool.objs/byte -I colibri2/theories/bool/.colibri2_theories_bool.objs/native -I colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/byte -I colibri2/theories/quantifier/.colibri2_theories_quantifiers.objs/native -intf-suffix .ml -no-alias-deps -open Colibri2_theories_LRA_stages_stage2_union_domain -o 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 colibri2/theories/LRA/stages/stage2/union.pp.ml) - File "colibri2/theories/LRA/stages/stage2/union.ml", line 59, characters 4-24: - 59 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 68, characters 6-26: - 68 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 77, characters 13-23: - 77 | let+ l = small_list elm in - ^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_list - Use [list_small] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 93, characters 4-24: - 93 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - File "colibri2/theories/LRA/stages/stage2/union.ml", line 102, characters 4-24: - 102 | QCheck.Gen.frequency - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead -> compiled colibri2.0.4 -> installed colibri2.0.4 [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-26 11:19.21: OK: build colibri2.0.4 (runc: 71.2s, disk: 36KB) 2026-06-26 11:19.21: Job succeeded