Build:
- 0
2026-06-24 12:22.04: New job: build z3_tptp.4.8.13 (f83f816f0137) 2026-06-24 12:22.04: Waiting for resource in pool day11-builds 2026-06-24 13:45.01: Got resource from pool day11-builds 2026-06-24 13:45.01: [profile full] build z3_tptp.4.8.13 2026-06-24 13:45.01: build z3_tptp.4.8.13 (f83f816f0137) === DEPENDENCIES (11 transitive) === conf-c++.1.0 1ae93586df30 conf-g++.1.0 6045961550b9 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 conf-python-3.9.0.0 6d72fcfa5947 ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 ocamlfind.1.9.8 214dd418ac02 z3.4.8.13 c2ffb097e89a zarith.1.14 a8971d2f668c === STDOUT === Processing: [default: loading data] [z3_tptp.4.8.13: extract] -> retrieved z3_tptp.4.8.13 (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.13) -> compiled z3_tptp.4.8.13 [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.13) [WARNING] Opam packages conf-pkg-config.5, conf-python-3.9.0.0 and z3.4.8.13 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.13: depends on python3-distutils -> installed z3_tptp.4.8.13 === STDERR === 2026-06-24 13:45.59: OK: build z3_tptp.4.8.13 (runc: 8.6s, disk: 6KB) 2026-06-24 13:45.59: Job succeeded