2026-10-06 17:16.51: New job: build rocq-prover.meta.1 (bb761a9e4494)
2026-10-06 17:16.51: Waiting for resource in pool day11-builds
2026-10-06 17:18.11: Got resource from pool day11-builds
2026-10-06 17:18.11: [profile odoc-master-mini] build rocq-prover.meta.1
2026-10-06 17:18.11: build rocq-prover.meta.1 (bb761a9e4494)
=== DEPENDENCIES (15 transitive) ===
  base-threads.base                                  464810371b96
  base-unix.base                                     4596d20d2cf7
  compiler-cloning.enabled                           a13866103a7b
  conf-gmp.5                                         c2adbec9a470
  conf-linux-libc-dev.0                              579966a0e828
  conf-pkg-config.5                                  e39f7209b38f
  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-core.9.3.0                                    e9f6c0956619
  rocq-runtime.9.3.0                                 6bae6cd5cac2
  rocq-stdlib.9.2.0                                  a075a0c0a385
  zarith.1.14                                        6c7ed2d54016
=== STDOUT ===
Processing: [default: loading data]
-> installed rocq-prover.meta.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-10-06 17:18.42: OK: build rocq-prover.meta.1 (runc: 1.6s, disk: 6KB)
2026-10-06 17:18.42: Job succeeded