Build:
- 0
2026-06-24 19:29.30: New job: build lambdapi.2.5.0 (a51963a9d27f) 2026-06-24 19:29.30: Waiting for resource in pool day11-builds 2026-06-24 19:52.26: Got resource from pool day11-builds 2026-06-24 19:52.26: [profile full] build lambdapi.2.5.0 2026-06-24 19:52.26: build lambdapi.2.5.0 (a51963a9d27f) === DEPENDENCIES (126 transitive) === angstrom.0.16.1 11c793ba24a8 asn1-combinators.0.3.2 9806a157702b base-bytes.base b1e4ea0d0665 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb base64.3.5.2 976ee5627025 bigarray-compat.1.1.0 3f53ef7ca23f bigstringaf.0.10.0 a4abf4d59a91 bindlib.6.0.0 8ca5d6e5fffa bstr.0.0.4 53f8a14ab5a8 camlp-streams.5.0.1 c03309bddd0c caqti.2.3.2 89dcdc8e8639 caqti-lwt.2.3.2 8223bae24b6e cmdliner.1.3.0 7bb74d64b6d4 conf-gmp.5 be11edf77089 conf-gmp-powm-sec.4 7029468462a8 conf-libev.4-13 ed92ce35468b conf-libssl.4 5010d88d05c1 conf-pkg-config.5 d5de2c6a88f9 cppo.1.8.0 c8a9dfb8f116 csexp.1.5.2 0ced60b1f74a cstruct.6.2.0 40c9555ccec2 digestif.1.3.0 4ccb73b8683b domain-name.0.5.0 326512f01900 dream.1.0.0~alpha8 89aedce92a8b dream-httpaf.1.0.0~alpha4 a5734496057e dream-pure.1.0.0~alpha2 29b18797fda5 dune.3.23.1 9d721df3a13a dune-configurator.3.23.1 1ab906eeab63 dune-private-libs.3.23.1 0c4039f54523 dune-site.3.23.1 093e79ae8b7e duration.0.3.1 f39be61c465e dyn.3.23.1 ad9a97118fae eqaf.0.10 c8d37c42cd76 faraday.0.8.2 efbae2f7edee faraday-lwt.0.8.2 326bb08b3b91 faraday-lwt-unix.0.8.2 609dc847a71f fmt.0.11.0 043d2f579280 fs-io.3.23.1 b9a3c35c4935 gen.1.1 2291834c6da2 gluten.0.5.2 af686d99d2b6 gluten-lwt.0.5.2 8f3faaaeaa7e gluten-lwt-unix.0.5.2 3e695da0f523 gmap.0.3.0 25beb05a9b57 graphql.0.14.0 46e30dd2425f graphql-lwt.0.14.0 35c54d94a202 graphql_parser.0.14.0 9a6d657fc224 h2.0.10.0 48f0d054c337 h2-lwt.0.10.0 560a957cc6cc h2-lwt-unix.0.10.0 2ebdf76890db hmap.0.8.1 23877f9d99e4 hpack.0.13.0 627d84d3a575 httpaf.0.7.1 8b7a53cb8301 httpun.0.1.0 c3259f6bb35b httpun-lwt.0.1.0 e93be8d4ceb5 httpun-lwt-unix.0.1.0 744cc765da9e httpun-types.0.1.0 28d2ecfda63a httpun-ws.0.2.0 e619ade9bb73 ipaddr.5.6.2 0c74c2c696e9 kdf.1.0.0 6cfc2c06f9ea ke.0.6 b08def7d914c lambdasoup.1.1.1 2d92f754ed63 logs.0.10.0 e9bcd294800c lru.0.3.1 70d8eb21b7b2 lwt.6.1.2 5381f02f9dd1 lwt-dllist.1.1.0 6d74a088f896 lwt_ppx.6.1.0 662c25d793df lwt_ssl.1.2.0 6e3b89856257 macaddr.5.6.2 b84587a14d8c magic-mime.1.3.1 20ae2d0cc300 markup.1.0.3 816d5fe2f475 menhir.20260209 05da01205928 menhirCST.20260209 10afe0461689 menhirGLR.20260209 7b22500e7305 menhirLib.20260209 0f58e6c70ac8 menhirSdk.20260209 caf07569aba6 mirage-clock.4.2.0 fd2d8a2f27c0 mirage-crypto.1.2.0 1a23c67ebba8 mirage-crypto-ec.1.2.0 8db38d7407a8 mirage-crypto-pk.1.2.0 571a5dcdbe37 mirage-crypto-rng.1.2.0 1caff3677b80 mirage-crypto-rng-lwt.1.2.0 8c8a52dd19d1 mtime.2.1.0 f8086d5bd93e multipart_form.0.8.0 73e0f8ce5838 multipart_form-lwt.0.8.0 8b0fb5bdef08 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 ocaml-syntax-shims.1.0.0 32df0930c8b9 ocamlbuild.0.16.1 bdeca1c5518a ocamlfind.1.9.8 558092066ff0 ocplib-endian.1.2 bf0e5b1899f9 ohex.0.2.0 b88ce7cd281b ordering.3.23.1 7d734b6c579c pecu.0.7 a4f9fd0fa289 pp.2.0.0 a91e068b713a ppx_derivers.1.2.1 fe71b19cf412 ppxlib.0.38.0 d14cc4b32971 pratter.3.0.0 b14b09a18ddc prettym.0.0.5 830695c8ab61 psq.0.2.1 b9eca1b9b847 ptime.1.2.0 2a44ca465411 re.1.14.0 979bfa8c9518 result.1.5 3b36b5342c52 rresult.0.7.0 f6d0ae6f6013 sedlex.3.7 62ef110770d6 seq.base cd738ac20daf sexplib0.v0.17.0 a15b0f614c90 ssl.0.7.0 e137a48284f5 stdlib-shims.0.3.0 c94355dec213 stdune.3.23.1 5331efedf8a3 stringext.1.6.0 c1fdb1453e0b timed.1.1 e9e4ce984042 top-closure.3.23.1 5f009cdb5626 topkg.1.1.1 e3d6961e1f2d uchar.0.0.2 f7537c415690 unstrctrd.0.4 9086752a5d6c uri.4.4.0 117d5d7c4ccf uutf.1.0.4 d3dd97d1064e why3.1.7.2 6f681c734469 x509.1.0.6 91f6771c7729 yojson.3.0.0 2870f90eedda zarith.1.14 88f19ac83a9a === 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-24 19:53.16: OK: build lambdapi.2.5.0 (runc: 18.6s, disk: 23KB) 2026-06-24 19:53.16: Job succeeded