Build:
  1. 0
2026-06-23 22:28.28: New job: build lambdapi.2.5.0 (9f939c6c0c6f)
2026-06-23 22:28.28: Waiting for resource in pool day11-builds
2026-06-23 22:51.59: Got resource from pool day11-builds
2026-06-23 22:51.59: [profile full] build lambdapi.2.5.0
2026-06-23 22:51.59: build lambdapi.2.5.0 (9f939c6c0c6f)
=== DEPENDENCIES (126 transitive) ===
  angstrom.0.16.1                                    6bbb0142027e
  asn1-combinators.0.3.2                             60b1849c9d2e
  base-bytes.base                                    fe093162f383
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  base64.3.5.2                                       6338116d65c7
  bigarray-compat.1.1.0                              d8e26d2f775f
  bigstringaf.0.10.0                                 d6f325ac37f8
  bindlib.6.0.0                                      49f047be5c01
  bstr.0.0.4                                         1caf55a88296
  camlp-streams.5.0.1                                0ba8db057bd1
  caqti.2.3.2                                        99d76a744c17
  caqti-lwt.2.3.2                                    99e365e336e6
  cmdliner.1.3.0                                     50e2e2aca21e
  conf-gmp.5                                         61e3c79e0ddf
  conf-gmp-powm-sec.4                                ceb17ad6499b
  conf-libev.4-13                                    279743e11b0d
  conf-libssl.4                                      5592d8dc91f9
  conf-pkg-config.5                                  4b60827fc174
  cppo.1.8.0                                         419078d7d6b0
  csexp.1.5.2                                        1637d117a8bb
  cstruct.6.2.0                                      752ff036f6f6
  digestif.1.3.0                                     f639b4c92aa0
  domain-name.0.5.0                                  e9f4b73ac758
  dream.1.0.0~alpha8                                 9597e62928e5
  dream-httpaf.1.0.0~alpha4                          1313cf7aa37d
  dream-pure.1.0.0~alpha2                            6476d894f160
  dune.3.23.1                                        433683e90514
  dune-configurator.3.23.1                           d169faaa676d
  dune-private-libs.3.23.1                           07654aa79309
  dune-site.3.23.1                                   8c934bbe9c98
  duration.0.3.1                                     fdc804f0ee26
  dyn.3.23.1                                         5422467d975c
  eqaf.0.10                                          ad7caf6935e1
  faraday.0.8.2                                      8c5dff9515cf
  faraday-lwt.0.8.2                                  0ea4848263b2
  faraday-lwt-unix.0.8.2                             1c0a4203346a
  fmt.0.11.0                                         6613082405db
  fs-io.3.23.1                                       94d5fde32e5a
  gen.1.1                                            cb46d9c7b1ee
  gluten.0.5.2                                       eb9eaf4609ec
  gluten-lwt.0.5.2                                   4a5f4d537ec4
  gluten-lwt-unix.0.5.2                              02e3a052900a
  gmap.0.3.0                                         a613f2ada845
  graphql.0.14.0                                     49c09e61c1e5
  graphql-lwt.0.14.0                                 773e96c3feb1
  graphql_parser.0.14.0                              135cc4a3c60b
  h2.0.10.0                                          b698269887d6
  h2-lwt.0.10.0                                      8b9d74c14fc5
  h2-lwt-unix.0.10.0                                 2bdad55075f6
  hmap.0.8.1                                         267c262ce1f7
  hpack.0.13.0                                       56a758775075
  httpaf.0.7.1                                       0bb7f956fa4f
  httpun.0.1.0                                       7f17415930b3
  httpun-lwt.0.1.0                                   98ab4cf6f156
  httpun-lwt-unix.0.1.0                              31e8b4db1ff0
  httpun-types.0.1.0                                 2e08eaa9dbed
  httpun-ws.0.2.0                                    8ca424160dda
  ipaddr.5.6.2                                       e0a2294a71f0
  kdf.1.0.0                                          dcf9e84c5782
  ke.0.6                                             136576cb796c
  lambdasoup.1.1.1                                   1e57201803a7
  logs.0.10.0                                        169db7244c12
  lru.0.3.1                                          9a22e8378368
  lwt.6.1.2                                          f81916a76c8f
  lwt-dllist.1.1.0                                   29095cf16cfd
  lwt_ppx.6.1.0                                      776cb25472d8
  lwt_ssl.1.2.0                                      67e9b6cd7def
  macaddr.5.6.2                                      06f70549f477
  magic-mime.1.3.1                                   baa2ace8b1b9
  markup.1.0.3                                       5cdd22842d82
  menhir.20260209                                    db1e576d09fc
  menhirCST.20260209                                 5ae1ce0e3cc9
  menhirGLR.20260209                                 a21348cfb497
  menhirLib.20260209                                 643af17924e0
  menhirSdk.20260209                                 3c82faacb8b3
  mirage-clock.4.2.0                                 274602227d87
  mirage-crypto.1.2.0                                4b714a58c1ac
  mirage-crypto-ec.1.2.0                             b6bffbd98054
  mirage-crypto-pk.1.2.0                             99ff94ad4cb1
  mirage-crypto-rng.1.2.0                            0f7e5757ee80
  mirage-crypto-rng-lwt.1.2.0                        d7b4259561ee
  mtime.2.1.0                                        0bfbfc67d971
  multipart_form.0.8.0                               a5efb194ccc0
  multipart_form-lwt.0.8.0                           be2950a10a20
  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
  ocaml-syntax-shims.1.0.0                           1a614cb8950f
  ocamlbuild.0.16.1                                  6a034beeb0c1
  ocamlfind.1.9.8                                    814b8d0197a7
  ocplib-endian.1.2                                  3fcd35c84ea1
  ohex.0.2.0                                         d065aedef719
  ordering.3.23.1                                    af2575010b0a
  pecu.0.7                                           33e07283e255
  pp.2.0.0                                           1e61e99dad3e
  ppx_derivers.1.2.1                                 ff9d4bfc129e
  ppxlib.0.38.0                                      07319cd5d4e6
  pratter.3.0.0                                      52e63c7a3b18
  prettym.0.0.5                                      442f616a99fd
  psq.0.2.1                                          ed51ee4cebf2
  ptime.1.2.0                                        a197406c276c
  re.1.14.0                                          5602183f89d9
  result.1.5                                         858d801cd20c
  rresult.0.7.0                                      cf1cd10f9230
  sedlex.3.7                                         38d4bb90df36
  seq.base                                           f8ce33768766
  sexplib0.v0.17.0                                   56e363170312
  ssl.0.7.0                                          f9a15e985c60
  stdlib-shims.0.3.0                                 f49bc9dde33b
  stdune.3.23.1                                      f18a01ccbbf2
  stringext.1.6.0                                    cfeda177f3fa
  timed.1.1                                          cd5d343e7339
  top-closure.3.23.1                                 54bd179bad61
  topkg.1.1.1                                        77f1be4dd954
  uchar.0.0.2                                        af44855178ac
  unstrctrd.0.4                                      7401fc458306
  uri.4.4.0                                          ae16f99b74d1
  uutf.1.0.4                                         ec759aa88e92
  why3.1.7.2                                         a3b85db0df94
  x509.1.0.6                                         b24f2e4a659c
  yojson.3.0.0                                       601529b9a4e6
  zarith.1.14                                        bed60daa9e32
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.5.0: dl]
[lambdapi.2.5.0: extract]
-> retrieved lambdapi.2.5.0  (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.5.0)
- (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.5.0
-> installed lambdapi.2.5.0
[WARNING] Opam packages conf-gmp.5, conf-libssl.4 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libgmp-dev libssl-dev pkg-config
  - conf-gmp.5: depends on libgmp-dev
  - conf-libssl.4: depends on libssl-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-06-23 22:52.51: OK: build lambdapi.2.5.0 (runc: 20.1s, disk: 23KB)
2026-06-23 22:52.51: Job succeeded