2026-06-24 14:22.33: New job: build lambdapi.2.3.1 (5e09bd05e528)
2026-06-24 14:22.33: Waiting for resource in pool day11-builds
2026-06-24 16:42.02: Got resource from pool day11-builds
2026-06-24 16:42.02: [profile full] build lambdapi.2.3.1
2026-06-24 16:42.02: build lambdapi.2.3.1 (5e09bd05e528)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  bindlib.6.0.0                                      8ca5d6e5fffa
  camlp-streams.5.0.1                                c03309bddd0c
  cmdliner.1.3.0                                     7bb74d64b6d4
  dune.3.23.1                                        9d721df3a13a
  gen.1.1                                            2291834c6da2
  menhir.20260209                                    05da01205928
  menhirCST.20260209                                 10afe0461689
  menhirGLR.20260209                                 7b22500e7305
  menhirLib.20260209                                 0f58e6c70ac8
  menhirSdk.20260209                                 caf07569aba6
  num.1.6                                            bf28d08d4620
  ocaml.5.3.0                                        ec34d524d97d
  ocaml-base-compiler.5.3.0                          1841888fe75b
  ocaml-compiler.5.3.0                               f295fe609c87
  ocaml-compiler-libs.v0.17.0                        ae1038bc23cf
  ocaml-config.3                                     a52eea84eedb
  ocamlfind.1.9.8                                    558092066ff0
  ppx_derivers.1.2.1                                 fe71b19cf412
  ppxlib.0.38.0                                      d14cc4b32971
  pratter.2.0.0                                      6ccf4e0ea001
  sedlex.3.7                                         62ef110770d6
  seq.base                                           cd738ac20daf
  sexplib0.v0.17.0                                   a15b0f614c90
  stdlib-shims.0.3.0                                 c94355dec213
  timed.1.1                                          e9e4ce984042
  why3.1.7.2                                         d549a00ce5e9
  yojson.3.0.0                                       2870f90eedda
=== 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-24 16:42.39: OK: build lambdapi.2.3.1 (runc: 12.6s, disk: 11KB)
2026-06-24 16:42.39: Job succeeded