2026-10-15 17:02.04: New job: build rocq-devtools.9.3.0 (e9b0f878c60c) 2026-10-15 17:02.04: Waiting for resource in pool day11-builds 2026-10-15 17:45.09: Got resource from pool day11-builds 2026-10-15 17:45.09: [profile full] build rocq-devtools.9.3.0 2026-10-15 17:45.09: build rocq-devtools.9.3.0 (e9b0f878c60c) === DEPENDENCIES (16 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 camlzip.1.14 93e9f561c8a0 compiler-cloning.enabled a13866103a7b conf-gmp.5 c2adbec9a470 conf-linux-libc-dev.0 579966a0e828 conf-pkg-config.5 e39f7209b38f conf-zlib.1 ef4bfe5217f4 dune.3.24.2 99dad2c0d74f ocaml.5.5.1 3d940b39ad2d ocaml-base-compiler.5.5.1 5cf781414aed ocaml-compiler.5.5.1 9ea90032811f ocamlfind.1.9.9~preview 0f9da898bc9e rocq-runtime.9.3.0 6bae6cd5cac2 yojson.3.0.0 e7f2da0109c8 zarith.1.14 6c7ed2d54016 === STDOUT === Processing: [default: loading data] [rocq-devtools.9.3.0: extract] -> retrieved rocq-devtools.9.3.0 (cached) [rocq-devtools: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "rocq-devtools" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/rocq-devtools.9.3.0) -> compiled rocq-devtools.9.3.0 [WARNING] Opam packages conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: libgmp-dev zlib1g-dev - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev -> installed rocq-devtools.9.3.0 === STDERR === 2026-10-15 17:45.29: OK: build rocq-devtools.9.3.0 (runc: 6.0s, disk: 7KB) 2026-10-15 17:45.29: Job succeeded