Build:
  1. 0
2026-06-24 13:54.51: New job: build lambdapi.2.2.1 (96f03c3eaf8a)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 16:01.40: Got resource from pool day11-builds
2026-06-24 16:01.40: [profile full] build lambdapi.2.2.1
2026-06-24 16:01.40: build lambdapi.2.2.1 (96f03c3eaf8a)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  bindlib.6.0.0                                      c01b2a744979
  camlp-streams.5.0.1                                28f363162dde
  cmdliner.1.3.0                                     7280d3fb1acd
  conf-autoconf.0.2                                  676e4452dc37
  dune.3.23.1                                        848a72441e15
  gen.1.1                                            184c22a7869b
  menhir.20260209                                    259089f68775
  menhirCST.20260209                                 8eaddefc25c5
  menhirGLR.20260209                                 a9fbf43d08d4
  menhirLib.20260209                                 84aaca532d87
  menhirSdk.20260209                                 346bab968ef6
  num.1.6                                            110cee7a7e2e
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-compiler-libs.v0.12.4                        2aecf989b0b2
  ocaml-config.2                                     2d9c209f5590
  ocamlfind.1.9.8                                    214dd418ac02
  ppx_derivers.1.2.1                                 9245877bc46e
  ppxlib.0.38.0                                      c54fe6e3bf29
  pratter.2.0.0                                      0526bac332b9
  sedlex.3.7                                         94d6d5eb657f
  seq.base                                           0160fc3002c2
  sexplib0.v0.17.0                                   86d78ae8a795
  stdlib-shims.0.3.0                                 de5202e23add
  timed.1.1                                          146fbb7b5518
  why3.1.5.1                                         10391c416b5d
  yojson.3.0.0                                       99e7f342c6b3
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.2.1: dl]
[lambdapi.2.2.1: extract]
-> retrieved lambdapi.2.2.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.2.1)
-> compiled  lambdapi.2.2.1
-> installed lambdapi.2.2.1

=== STDERR ===

2026-06-24 16:02.05: OK: build lambdapi.2.2.1 (runc: 16.6s, disk: 10KB)
2026-06-24 16:02.05: Job succeeded