2026-06-16 15:52.24: New job: build lambdapi.2.3.1 (0cd5d77bd207)
2026-06-16 15:52.24: Waiting for resource in pool day11-builds
2026-06-16 16:40.08: Got resource from pool day11-builds
2026-06-16 16:40.08: [profile full] build lambdapi.2.3.1
2026-06-16 16:40.08: build lambdapi.2.3.1 (0cd5d77bd207)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  bindlib.6.0.0                                      49f047be5c01
  camlp-streams.5.0.1                                0ba8db057bd1
  cmdliner.1.3.0                                     50e2e2aca21e
  dune.3.23.1                                        433683e90514
  gen.1.1                                            cb46d9c7b1ee
  menhir.20260209                                    db1e576d09fc
  menhirCST.20260209                                 5ae1ce0e3cc9
  menhirGLR.20260209                                 a21348cfb497
  menhirLib.20260209                                 643af17924e0
  menhirSdk.20260209                                 3c82faacb8b3
  num.1.6                                            3b13662dc011
  ocaml.5.3.0                                        f3f5cb82ec5e
  ocaml-base-compiler.5.3.0                          3282792848d7
  ocaml-compiler.5.3.0                               ec781058d2f3
  ocaml-compiler-libs.v0.17.0                        8c25585cc677
  ocaml-config.3                                     0df636be409d
  ocamlfind.1.9.8                                    814b8d0197a7
  ppx_derivers.1.2.1                                 ff9d4bfc129e
  ppxlib.0.38.0                                      07319cd5d4e6
  pratter.2.0.0                                      0e2c50e4b9ce
  sedlex.3.7                                         38d4bb90df36
  seq.base                                           f8ce33768766
  sexplib0.v0.17.0                                   56e363170312
  stdlib-shims.0.3.0                                 f49bc9dde33b
  timed.1.1                                          cd5d343e7339
  why3.1.7.2                                         9123eb04411a
  yojson.3.0.0                                       601529b9a4e6
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.3.1: dl]
[lambdapi.2.3.1: extract]
-> retrieved lambdapi.2.3.1  (https://opam.ocaml.org/cache)
[lambdapi: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lambdapi" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/lambdapi.2.3.1)
- (cd _build/default/src/core && /home/opam/.opam/default/bin/ocaml unix.cma ../../misc/gen_version.ml) > _build/default/src/core/version.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include: 
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- 
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include: 
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
-> compiled  lambdapi.2.3.1
-> installed lambdapi.2.3.1

=== STDERR ===

2026-06-16 16:40.42: OK: build lambdapi.2.3.1 (runc: 11.6s, disk: 11KB)
2026-06-16 16:40.42: Job succeeded