Build:
- 0
2026-10-07 21:44.27: New job: build z3_tptp.4.11.2 (931210816f8e) 2026-10-07 21:44.27: Waiting for resource in pool day11-builds 2026-10-07 21:50.19: Got resource from pool day11-builds 2026-10-07 21:50.19: [profile oxcaml-odoc-master] build z3_tptp.4.11.2 2026-10-07 21:50.19: build z3_tptp.4.11.2 (931210816f8e) === DEPENDENCIES (13 transitive) === conf-autoconf.1 8ee1e3913008 conf-c++.1.0 8ccd097daa9f conf-g++.1.0 72c419ae3645 conf-gmp.5 c2adbec9a470 conf-python-3.9.0.0 4f526fe94903 conf-which.1 65c43ca119c3 ocaml.5.2.0 b8c350f4f1ad ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 ocamlfind.1.9.8+ox 70bd5761d4de oxcaml-compiler.5.2.0minus39 c47b62237187 z3.4.11.2 3181f0c3be98 zarith.1.12+ox3 306ab9da56c7 === STDOUT === Processing: [default: loading data] [z3_tptp.4.11.2: extract] -> retrieved z3_tptp.4.11.2 (cached) [z3_tptp: g++ z3_tptp] + /usr/bin/g++ "-I./src/api/c++" "-I./src/api" "-std=c++11" "-L/home/opam/.opam/default/lib/stublibs" "-o" "z3_tptp" "examples/tptp/tptp5.cpp" "examples/tptp/tptp5.lex.cpp" "-lz3" "-Wl,-rpath" "-Wl,/home/opam/.opam/default/lib/stublibs" (CWD=/home/opam/.opam/default/.opam-switch/build/z3_tptp.4.11.2) -> compiled z3_tptp.4.11.2 [z3_tptp: cp z3_tptp] + /usr/bin/cp "z3_tptp" "/home/opam/.opam/default/bin/z3_tptp" (CWD=/home/opam/.opam/default/.opam-switch/build/z3_tptp.4.11.2) -> installed z3_tptp.4.11.2 [WARNING] Opam packages conf-autoconf.1, conf-python-3.9.0.0 and z3.4.11.2 depend on the following system packages that are no longer installed: autoconf python3 python3-distutils - conf-autoconf.1: depends on autoconf - conf-python-3.9.0.0: depends on python3 - z3.4.11.2: depends on python3-distutils === STDERR === 2026-10-07 21:50.52: OK: build z3_tptp.4.11.2 (runc: 10.1s, disk: 6KB) 2026-10-07 21:50.52: Job succeeded