Build:
- 0
2026-06-16 16:00.49: New job: build coq-serapi.8.15.0+0.15.2 (2ce6843fbc13) 2026-06-16 16:00.49: Waiting for resource in pool day11-builds 2026-06-16 16:46.46: Got resource from pool day11-builds 2026-06-16 16:46.46: [profile full] build coq-serapi.8.15.0+0.15.2 2026-06-16 16:46.46: build coq-serapi.8.15.0+0.15.2 (2ce6843fbc13) === DEPENDENCIES (31 transitive) === base.v0.15.2 d1b6c8935ca3 base-threads.base b7164ff76afe base-unix.base 839dc585f12d cmdliner.2.1.1 bfb0712fced3 conf-findutils.1 a943cdd45084 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b coq.8.15.2 6c28a4aab15e cppo.1.8.0 ea583d2d3bbb csexp.1.5.2 ec63db2dab31 dune.3.23.1 5402470d931c dune-configurator.3.23.1 58f4a3f92083 num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocamlfind.1.9.8 6025f4a8e98e parsexp.v0.15.0 5d22d5f92845 ppx_derivers.1.2.1 441538dbecd1 ppx_deriving.5.2.1 7ccfa7b437b2 ppx_deriving_yojson.3.9.1 e7e541d9d2a9 ppx_import.1.12.0 1b1bcf9b13c1 ppx_sexp_conv.v0.15.1 a0e9580f8486 ppxlib.0.35.0 a8d9286c7b89 result.1.5 537fffb7b75d sexplib.v0.15.1 bbe273c61571 sexplib0.v0.15.1 681a442d437a stdlib-shims.0.3.0 e2dd0beb9112 yojson.3.0.0 7c8ad8b6539f zarith.1.14 cde7973b8292 === STDOUT === Processing: [default: loading data] [coq-serapi.8.15.0+0.15.2: dl] [coq-serapi.8.15.0+0.15.2: extract] -> retrieved coq-serapi.8.15.0+0.15.2 (https://opam.ocaml.org/cache) [coq-serapi: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-serapi" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-serapi.8.15.0+0.15.2) -> compiled coq-serapi.8.15.0+0.15.2 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config -> installed coq-serapi.8.15.0+0.15.2 === STDERR === 2026-06-16 16:48.02: OK: build coq-serapi.8.15.0+0.15.2 (runc: 59.2s, disk: 9KB) 2026-06-16 16:48.02: Job succeeded