2026-09-06 11:37.23: New job: build vscoq-language-server.2.5.0 (2122fe71a211)
2026-09-06 11:37.23: [profile full] build vscoq-language-server.2.5.0
2026-09-06 11:37.23: build vscoq-language-server.2.5.0 (2122fe71a211)
=== DEPENDENCIES (47 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                                    7eae0397fd76
  coq-stdlib.8.20.1                                  cc35bde46c72
  cppo.1.8.0                                         190ee296cdd0
  csexp.1.5.2                                        fd59ccf8803d
  dune.3.23.1                                        8d06ddbdcff0
  dune-configurator.3.23.1                           9e87046232aa
  jsonrpc.1.27.0                                     3c968ce87266
  lsp.1.27.0                                         04878c1a7320
  memprof-limits.0.3.0                               ec142ccbe1b2
  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_derivers.1.2.1                                 0d4d89158386
  ppx_deriving.6.1.3                                 d537de169248
  ppx_import.1.12.0                                  682f42ccfe9d
  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
  topkg.1.1.1                                        13ccc3945283
  uutf.1.0.4                                         564c10e5776f
  vsrocq-language-server.2.5.0                       32a63d9a2162
  yojson.3.0.0                                       3b7f062d8d3d
  zarith.1.14                                        10f02761c35e
=== 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-06 11:37.24: OK: build vscoq-language-server.2.5.0 (runc: 1.1s, disk: 9KB)
2026-09-06 11:37.24: Job succeeded