2026-09-20 03:52.32: New job: build vscoq-language-server.2.5.0 (dccb80d9e884)
2026-09-20 03:52.32: Waiting for resource in pool day11-builds
2026-09-20 04:50.12: Got resource from pool day11-builds
2026-09-20 04:50.12: [profile full] build vscoq-language-server.2.5.0
2026-09-20 04:50.13: build vscoq-language-server.2.5.0 (dccb80d9e884)
=== DEPENDENCIES (47 transitive) ===
  base.v0.17.3                                       33b3c4314190
  base-threads.base                                  ddcab511c589
  base-unix.base                                     742554e1dbc2
  conf-gmp.5                                         00570d20295f
  conf-linux-libc-dev.0                              6a88f9847ca1
  conf-pkg-config.5                                  5bc8297bba82
  coq-core.8.20.1                                    b67cdca6cad8
  coq-stdlib.8.20.1                                  27343416e719
  cppo.1.8.0                                         bbfbed9307e6
  csexp.1.5.2                                        7020ca03597d
  dune.3.23.1                                        c5dc0a1e7b2a
  dune-configurator.3.23.1                           c335c3a2de9a
  jsonrpc.1.27.0                                     ffcf653bde9a
  lsp.1.27.0                                         61ac2aa2583f
  memprof-limits.0.3.0                               0c8e3f28b664
  num.1.6                                            1a824f8e9b47
  ocaml.5.4.1                                        10425478938c
  ocaml-base-compiler.5.4.1                          a4ccc51c8403
  ocaml-compiler.5.4.1                               8edca944c974
  ocaml-compiler-libs.v0.17.0                        0ad3c8120b07
  ocaml-config.3                                     cb23f51a6d80
  ocaml_intrinsics_kernel.v0.17.2                    4bdbc6c69da5
  ocamlbuild.0.16.1                                  196bf92c9c66
  ocamlfind.1.9.8                                    eb70de571275
  octavius.1.2.2                                     4121c7d7fe15
  parsexp.v0.17.0                                    da2b417977e9
  ppx_derivers.1.2.1                                 47bdd14bb237
  ppx_deriving.6.2.0                                 c5d2d057c4bf
  ppx_import.1.12.0                                  b86bff8c580b
  ppx_js_style.v0.17.1                               850da76968bd
  ppx_optcomp.v0.17.1                                d1e6201df71c
  ppx_sexp_conv.v0.17.1                              b3b5c598f1ab
  ppx_yojson_conv.v0.17.1                            bd5dd019c89a
  ppx_yojson_conv_lib.v0.17.0                        d2e1c5a62bb1
  ppxlib.0.38.0                                      f4c31e966e11
  ppxlib_jane.v0.17.4                                a304df21d385
  result.1.5                                         931591c62d1d
  sel.0.8.0                                          1d6a44b97559
  sexplib.v0.17.0                                    581214f29046
  sexplib0.v0.17.0                                   f32b3549405d
  stdio.v0.17.0                                      033f2aa6f322
  stdlib-shims.0.3.0                                 8aad5a634453
  topkg.1.1.1                                        cd6b749c5d9e
  uutf.1.0.4                                         32ee955c70d6
  vsrocq-language-server.2.5.0                       89e88fef5fcc
  yojson.3.0.0                                       aeaa68226cdb
  zarith.1.14                                        490ac647beb3
=== STDOUT ===
Processing: [default: loading data]
[vscoq-language-server.2.5.0: extract]
-> retrieved vscoq-language-server.2.5.0  (cached)
-> installed vscoq-language-server.2.5.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-20 04:50.44: OK: build vscoq-language-server.2.5.0 (runc: 1.6s, disk: 9KB)
2026-09-20 04:50.44: Job succeeded