2026-10-07 21:18.41: New job: build coq.9.3.0 (94475aa12574)
2026-10-07 21:18.41: Waiting for resource in pool day11-builds
2026-10-07 21:30.20: Got resource from pool day11-builds
2026-10-07 21:30.20: [profile full] build coq.9.3.0
2026-10-07 21:30.20: build coq.9.3.0 (94475aa12574)
=== DEPENDENCIES (17 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
  coq-core.9.3.0                                     d9377463af46
  coqide-server.9.3.0                                1dbc6f692e1f
  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 coq.9.3.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-10-07 21:30.40: OK: build coq.9.3.0 (runc: 1.1s, disk: 6KB)
2026-10-07 21:30.40: Job succeeded