Build:
- 0
2026-06-23 20:59.55: New job: build colibri2.0.4 (a29119763e61) 2026-06-23 20:59.55: Waiting for resource in pool day11-builds 2026-06-23 21:39.50: Got resource from pool day11-builds 2026-06-23 21:39.50: [profile full] build colibri2.0.4 2026-06-23 21:39.50: build colibri2.0.4 (a29119763e61) === DEPENDENCIES (72 transitive) === antic.0.3.2 8281152132a3 arb.0.3.2 b43d0e485a07 base.v0.15.2 af4f39dad20c base-threads.base b7164ff76afe base-unix.base 839dc585f12d calcium.0.3.2 a3b16e632597 cmdliner.1.3.0 9c451c4c7e17 colibrilib.0.4 020f2df373d1 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 5995fb9053fd cppo.1.8.0 bc4bf16e01d2 csexp.1.5.2 f850742389f1 ctypes.0.24.0 2a0e120d1a29 dolmen.0.8.1 adadba99d394 dolmen_loop.0.8.1 9732c108097f dolmen_type.0.8.1 c422048e0eef dune.3.10.0 3d643dee10c3 dune-build-info.3.13.1 b300c21ea9f4 dune-configurator.3.13.1 2be219a62e9e either.1.0.0 f9a7a1468fb8 farith.0.1 70a9cdcb4be6 flint.0.3.2 8b821bd10245 fmt.0.11.0 1821ab29f7b5 gen.1.1 deeeb2f55b3a integers.0.8.0 a5f74d017dcb jane-street-headers.v0.15.0 fe5facefaa74 jst-config.v0.15.1 30f840fef159 menhir.20250912 5465f765100e menhirCST.20250912 94cd68f84544 menhirLib.20250912 050101e5e208 menhirSdk.20250912 09446efaaee2 num.1.6 00cf837a54c9 ocaml.5.0.0 4e3432802b74 ocaml-base-compiler.5.0.0 7f40a02edec0 ocaml-compiler-libs.v0.12.4 0d5c2c860313 ocaml-config.3 a4e7663ae3be ocamlbuild.0.16.1 f9309a5b5c3c ocamlfind.1.9.8 b41546e756d9 ocamlgraph.2.2.0 849070ac5152 ocplib-simplex.0.4 ef81dd400c29 pp_loc.2.1.0 d7038c38c4e9 ppx_assert.v0.15.0 97b976793298 ppx_base.v0.15.0 0f865539b803 ppx_cold.v0.15.0 8134b9d3a86d ppx_compare.v0.15.0 29722406adfd ppx_derivers.1.2.1 7c47d94a85bc ppx_deriving.6.0.3 67f681a9b22d ppx_enumerate.v0.15.0 ce3f25b705ff ppx_hash.v0.15.0 7a23ab043210 ppx_here.v0.15.0 cef2a6eb1192 ppx_inline_test.v0.15.1 ca8d163b58e9 ppx_optcomp.v0.15.0 6cb040fb064e ppx_sexp_conv.v0.15.1 e8e3399c6ec0 ppxlib.0.35.0 ab067ddc75b3 qcheck-core.0.91 9e6613cd00fe re.1.12.0 079a21562d60 seq.base 88ac8c437dc8 sexplib0.v0.15.1 987ece6c2954 spelll.0.4 1bb4eb8f9337 stdio.v0.15.0 fcb88b860e79 stdlib-shims.0.3.0 076f2880612a time_now.v0.15.0 6b7c6233ce0a topkg.1.1.1 3923dcc25167 uutf.1.0.4 8c242ce9e109 zarith.1.14 3389fe505cb5 === 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 [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 -> installed colibri2.0.4 === STDERR === 2026-06-23 21:44.34: OK: build colibri2.0.4 (runc: 263.4s, disk: 36KB) 2026-06-23 21:44.34: Job succeeded