Build:
- 0
2026-09-04 16:38.52: New job: build z3_tptp.4.8.17 (dee91f7fedf5) 2026-09-04 16:38.52: Waiting for resource in pool day11-builds 2026-09-04 16:56.08: Got resource from pool day11-builds 2026-09-04 16:56.08: [profile full] build z3_tptp.4.8.17 2026-09-04 16:56.08: build z3_tptp.4.8.17 (dee91f7fedf5) === DEPENDENCIES (12 transitive) === compiler-cloning.enabled 966a2e6839f0 conf-c++.1.0 a252a2c8d274 conf-g++.1.0 333ef6cbb063 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-python-3.9.0.0 c8ed77e42b03 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocamlfind.1.9.9~preview 5e0261154b58 z3.4.8.17 f3bd9b185f05 zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [z3_tptp.4.8.17: extract] -> retrieved z3_tptp.4.8.17 (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.8.17) -> compiled z3_tptp.4.8.17 [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.8.17) -> installed z3_tptp.4.8.17 [WARNING] Opam packages conf-pkg-config.5, conf-python-3.9.0.0 and z3.4.8.17 depend on the following system packages that are no longer installed: pkg-config python3 python3-distutils - conf-pkg-config.5: depends on pkg-config - conf-python-3.9.0.0: depends on python3 - z3.4.8.17: depends on python3-distutils === STDERR === 2026-09-04 16:56.21: OK: build z3_tptp.4.8.17 (runc: 9.1s, disk: 6KB) 2026-09-04 16:56.21: Job succeeded