2026-09-04 01:23.09: New job: build vscoq-language-server.2.3.3 (d15854163733)
2026-09-04 01:23.09: Waiting for resource in pool day11-builds
2026-09-04 01:35.02: Got resource from pool day11-builds
2026-09-04 01:35.02: [profile full] build vscoq-language-server.2.3.3
2026-09-04 01:35.02: build vscoq-language-server.2.3.3 (d15854163733)
=== DEPENDENCIES (58 transitive) ===
  base.v0.17.3                                       c30706fe17dc
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  conf-gmp.5                                         eac5259e412f
  conf-linux-libc-dev.0                              0af5b24bacd0
  conf-pkg-config.5                                  74f50f3cfe72
  coq-core.8.20.1                                    15c641c806e2
  coq-stdlib.8.20.1                                  30045f0178f2
  cppo.1.8.0                                         190ee296cdd0
  csexp.1.5.2                                        fd59ccf8803d
  dune.3.23.1                                        8d06ddbdcff0
  dune-configurator.3.23.1                           9e87046232aa
  jane-street-headers.v0.17.0                        9f03b5c79e50
  jsonrpc.1.27.0                                     3c968ce87266
  jst-config.v0.17.0                                 7476b5a2bfa9
  lsp.1.27.0                                         04878c1a7320
  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
  ocamlbuild.0.16.1                                  6a4fb30c9c05
  ocamlfind.1.9.8                                    d0ee8c624584
  octavius.1.2.2                                     ed07b4fca5f9
  parsexp.v0.17.0                                    c797fbe2ee7f
  ppx_assert.v0.17.0                                 817162e2978d
  ppx_base.v0.17.0                                   de40399e8814
  ppx_cold.v0.17.0                                   565a608959ac
  ppx_compare.v0.17.0                                81d9b689e992
  ppx_derivers.1.2.1                                 0d4d89158386
  ppx_deriving.6.1.3                                 d537de169248
  ppx_enumerate.v0.17.0                              33914fd23b1d
  ppx_globalize.v0.17.2                              8f97575e60b4
  ppx_hash.v0.17.0                                   52ec7f99547d
  ppx_here.v0.17.0                                   7c42124c5d01
  ppx_import.1.12.0                                  682f42ccfe9d
  ppx_inline_test.v0.17.1                            eea88f84f89c
  ppx_js_style.v0.17.1                               9f23c5fb8dc5
  ppx_optcomp.v0.17.1                                19a6472392cf
  ppx_sexp_conv.v0.17.1                              30a0f2a9b96a
  ppx_yojson_conv.v0.17.1                            4534e1877347
  ppx_yojson_conv_lib.v0.17.0                        34fcf03669e7
  ppxlib.0.38.0                                      dab8320c6562
  ppxlib_jane.v0.17.4                                caa8b6ff4716
  result.1.5                                         04f7da9696c0
  sel.0.8.0                                          6e33fd9700ea
  sexplib.v0.17.0                                    7969f2fb7193
  sexplib0.v0.17.0                                   76ccc85521ba
  stdio.v0.17.0                                      7d7ab28b4ba9
  stdlib-shims.0.3.0                                 544ea2c0d491
  time_now.v0.17.0                                   823fcc7243d1
  topkg.1.1.1                                        13ccc3945283
  uutf.1.0.4                                         564c10e5776f
  vsrocq-language-server.2.3.3                       e3a93959f37d
  yojson.3.0.0                                       3b7f062d8d3d
  zarith.1.14                                        10f02761c35e
=== STDOUT ===
Processing: [default: loading data]
[vscoq-language-server.2.3.3: extract]
-> retrieved vscoq-language-server.2.3.3  (cached)
-> installed vscoq-language-server.2.3.3
[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 01:35.12: OK: build vscoq-language-server.2.3.3 (runc: 2.1s, disk: 11KB)
2026-09-04 01:35.12: Job succeeded