2026-09-03 23:27.57: New job: build coq-serapi.8.20.0+0.20.0 (50602d928569)
2026-09-03 23:27.57: Waiting for resource in pool day11-builds
2026-09-04 00:26.13: Got resource from pool day11-builds
2026-09-04 00:26.13: [profile full] build coq-serapi.8.20.0+0.20.0
2026-09-04 00:26.13: build coq-serapi.8.20.0+0.20.0 (50602d928569)
=== DEPENDENCIES (38 transitive) ===
  base.v0.17.3                                       c30706fe17dc
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cmdliner.2.1.1                                     9e6f925a750d
  conf-gmp.5                                         eac5259e412f
  conf-linux-libc-dev.0                              0af5b24bacd0
  conf-pkg-config.5                                  74f50f3cfe72
  coq.8.20.1                                         6ba470f1542d
  coq-core.8.20.1                                    15c641c806e2
  coq-stdlib.8.20.1                                  30045f0178f2
  coqide-server.8.20.1                               daa343628976
  cppo.1.8.0                                         190ee296cdd0
  csexp.1.5.2                                        fd59ccf8803d
  dune.3.23.1                                        8d06ddbdcff0
  dune-configurator.3.23.1                           9e87046232aa
  num.1.6                                            76977f09e867
  ocaml.5.4.1                                        f01fda733396
  ocaml-base-compiler.5.4.1                          d24c54dd04d7
  ocaml-compiler.5.4.1                               5e4d2e54ea9c
  ocaml-compiler-libs.v0.17.0                        871604cc7b89
  ocaml-config.3                                     d59e78145b7c
  ocaml_intrinsics_kernel.v0.17.2                    f04df0e4dedb
  ocamlfind.1.9.8                                    d0ee8c624584
  parsexp.v0.17.0                                    c797fbe2ee7f
  ppx_compare.v0.17.0                                81d9b689e992
  ppx_derivers.1.2.1                                 0d4d89158386
  ppx_deriving.6.1.3                                 d537de169248
  ppx_deriving_yojson.3.10.0                         9831179f0399
  ppx_hash.v0.17.0                                   52ec7f99547d
  ppx_import.1.12.0                                  682f42ccfe9d
  ppx_sexp_conv.v0.17.1                              30a0f2a9b96a
  ppxlib.0.38.0                                      dab8320c6562
  ppxlib_jane.v0.17.4                                caa8b6ff4716
  sexplib.v0.17.0                                    7969f2fb7193
  sexplib0.v0.17.0                                   76ccc85521ba
  stdlib-shims.0.3.0                                 544ea2c0d491
  yojson.3.0.0                                       3b7f062d8d3d
  zarith.1.14                                        10f02761c35e
=== STDOUT ===
Processing: [default: loading data]
[coq-serapi.8.20.0+0.20.0: dl]
[coq-serapi.8.20.0+0.20.0: extract]
-> retrieved coq-serapi.8.20.0+0.20.0  (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.20.0+0.20.0)
-> compiled  coq-serapi.8.20.0+0.20.0
-> installed coq-serapi.8.20.0+0.20.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-09-04 00:28.25: OK: build coq-serapi.8.20.0+0.20.0 (runc: 104.2s, disk: 11KB)
2026-09-04 00:28.25: Job succeeded