Build:
- 0
2026-06-16 13:45.14: New job: build z3_tptp.4.10.2 (4b8fbcb4a004) 2026-06-16 13:45.14: Waiting for resource in pool day11-builds 2026-06-16 14:30.53: Got resource from pool day11-builds 2026-06-16 14:30.53: [profile full] build z3_tptp.4.10.2 2026-06-16 14:30.53: build z3_tptp.4.10.2 (4b8fbcb4a004) === DEPENDENCIES (12 transitive) === conf-c++.1.0 87fef3e7fb4f conf-g++.1.0 3a490f76fc1d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b conf-python-3.9.0.0 9f0bbc328e53 ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-config.3 aa27f63940d8 ocamlfind.1.9.8 5cfa73ef65e7 z3.4.10.2 e9d254b5588d zarith.1.14 b2ef7cdb0e39 === STDOUT === Processing: [default: loading data] [z3_tptp.4.10.2: extract] -> retrieved z3_tptp.4.10.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.10.2) -> compiled z3_tptp.4.10.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.10.2) -> installed z3_tptp.4.10.2 [WARNING] Opam packages conf-pkg-config.5, conf-python-3.9.0.0 and z3.4.10.2 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.10.2: depends on python3-distutils === STDERR === 2026-06-16 14:31.34: OK: build z3_tptp.4.10.2 (runc: 11.2s, disk: 6KB) 2026-06-16 14:31.34: Job succeeded