2026-09-03 21:50.46: New job: build lambdapi.2.3.1 (2c0e24ca642b)
2026-09-03 21:50.46: Waiting for resource in pool day11-builds
2026-09-03 22:44.36: Got resource from pool day11-builds
2026-09-03 22:44.36: [profile full] build lambdapi.2.3.1
2026-09-03 22:44.36: build lambdapi.2.3.1 (2c0e24ca642b)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  bindlib.6.0.0                                      5bfd501b24a0
  camlp-streams.5.0.1                                337d3dd041f2
  cmdliner.1.3.0                                     194b6d1271c0
  dune.3.24.2                                        cbbe7152834a
  gen.1.1                                            d854fb28b5cd
  menhir.20260209                                    6e4552bcd5b5
  menhirCST.20260209                                 64df6c1daf25
  menhirGLR.20260209                                 7a7e3d8f6809
  menhirLib.20260209                                 dcf4a41684df
  menhirSdk.20260209                                 27b2a039dd26
  num.1.6                                            c9b6c2a04dcf
  ocaml.5.3.0                                        6ff460273d57
  ocaml-base-compiler.5.3.0                          ab889490af4f
  ocaml-compiler.5.3.0                               a36aaaa91913
  ocaml-compiler-libs.v0.17.0                        a116ac6aca12
  ocaml-config.3                                     c2e80612d111
  ocamlfind.1.9.8                                    8c4f353d7b71
  ppx_derivers.1.2.1                                 962a10540301
  ppxlib.0.38.0                                      8e3c905a5cff
  pratter.2.0.0                                      d15e6b759443
  sedlex.3.7                                         9887a70735ec
  seq.base                                           5444851aa742
  sexplib0.v0.17.0                                   6a756732d111
  stdlib-shims.0.3.0                                 564d91498093
  timed.1.1                                          eb0632b674a1
  why3.1.7.2                                         8234beef4752
  yojson.3.0.0                                       02f0b282f237
=== 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-09-03 22:45.22: OK: build lambdapi.2.3.1 (runc: 26.2s, disk: 11KB)
2026-09-03 22:45.22: Job succeeded