2026-09-07 21:47.40: New job: build coq-lsp.0.2.5+9.0 (a385c83e63bc)
2026-09-07 21:47.40: Waiting for resource in pool day11-builds
2026-09-07 21:49.04: Got resource from pool day11-builds
2026-09-07 21:49.04: [profile full] build coq-lsp.0.2.5+9.0
2026-09-07 21:49.04: build coq-lsp.0.2.5+9.0 (a385c83e63bc)
=== DEPENDENCIES (68 transitive) ===
  angstrom.0.16.1                                    d5febe6c1f11
  base.v0.17.3                                       c30706fe17dc
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  bigstringaf.0.10.0                                 edb91609eb72
  cmdliner.2.1.1                                     9e6f925a750d
  conf-gmp.5                                         eac5259e412f
  conf-linux-libc-dev.0                              0af5b24bacd0
  conf-pkg-config.5                                  74f50f3cfe72
  cppo.1.8.0                                         190ee296cdd0
  csexp.1.5.2                                        fd59ccf8803d
  dune.3.23.1                                        8d06ddbdcff0
  dune-build-info.3.23.1                             82cf87539511
  dune-configurator.3.23.1                           9e87046232aa
  jane-street-headers.v0.17.0                        9f03b5c79e50
  jst-config.v0.17.0                                 7476b5a2bfa9
  memprof-limits.0.3.0                               ec142ccbe1b2
  menhir.20260209                                    1d41e86ab008
  menhirCST.20260209                                 5c1ed955bacf
  menhirGLR.20260209                                 85bba53398bf
  menhirLib.20260209                                 231ea08a88de
  menhirSdk.20260209                                 0405eac28484
  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-syntax-shims.1.0.0                           d2939941f58e
  ocaml_intrinsics_kernel.v0.17.2                    f04df0e4dedb
  ocamlbuild.0.16.1                                  6a4fb30c9c05
  ocamlfind.1.9.8                                    d0ee8c624584
  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_deriving_yojson.3.10.0                         9831179f0399
  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_optcomp.v0.17.1                                19a6472392cf
  ppx_sexp_conv.v0.17.1                              30a0f2a9b96a
  ppxlib.0.38.0                                      dab8320c6562
  ppxlib_jane.v0.17.4                                caa8b6ff4716
  re.1.14.0                                          c947c629c956
  rocq-core.9.0.1                                    4ff1aff20b85
  rocq-prover.9.0.0                                  cfe6e771f5bf
  rocq-runtime.9.0.1                                 e37245bdf5a8
  rocq-stdlib.9.1.0                                  370109cc3848
  seq.base                                           70bdce6caddc
  sexplib.v0.17.0                                    7969f2fb7193
  sexplib0.v0.17.0                                   76ccc85521ba
  stdio.v0.17.0                                      7d7ab28b4ba9
  stdlib-shims.0.3.0                                 544ea2c0d491
  stringext.1.6.0                                    6f69ce33119a
  time_now.v0.17.0                                   823fcc7243d1
  topkg.1.1.1                                        13ccc3945283
  tyxml.5.0.0                                        d44faeeebfa4
  uri.4.4.0                                          5d505a6dcce7
  uutf.1.0.4                                         209e08c0d278
  yojson.3.0.0                                       3b7f062d8d3d
  zarith.1.14                                        10f02761c35e
=== STDOUT ===
Processing: [default: loading data]
[coq-lsp.0.2.5+9.0: dl]
[coq-lsp.0.2.5+9.0: extract]
-> retrieved coq-lsp.0.2.5+9.0  (https://opam.ocaml.org/cache)
[coq-lsp: rm vendor]
+ /usr/bin/rm "-rf" "vendor" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-lsp.0.2.5+9.0)
[coq-lsp: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "coq-lsp" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-lsp.0.2.5+9.0)
-> compiled  coq-lsp.0.2.5+9.0
-> installed coq-lsp.0.2.5+9.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-07 21:51.29: OK: build coq-lsp.0.2.5+9.0 (runc: 101.7s, disk: 15KB)
2026-09-07 21:51.29: Job succeeded