Build:
- 0
2026-06-24 13:54.51: New job: build lambdapi.2.2.0 (758f8a168eb7)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 16:01.23: Got resource from pool day11-builds
2026-06-24 16:01.23: [profile full] build lambdapi.2.2.0
2026-06-24 16:01.23: build lambdapi.2.2.0 (758f8a168eb7)
=== 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.1.2.1 7cb3d5cd3ed9
sedlex.3.7 94d6d5eb657f
seq.base 0160fc3002c2
sexplib0.v0.17.0 86d78ae8a795
stdlib-shims.0.3.0 de5202e23add
timed.1.1 146fbb7b5518
why3.1.4.1 57838728671f
yojson.3.0.0 99e7f342c6b3
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.2.0: dl]
[lambdapi.2.2.0: extract]
-> retrieved lambdapi.2.2.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.2.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/common/.common.objs/byte -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I src/lplib/.lplib.objs/byte -no-alias-deps -open Common -o src/common/.common.objs/byte/common__Debug.cmo -c -impl src/common/debug.ml)
- File "src/common/debug.ml", line 169, characters 37-45:
- 169 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 169, characters 37-45:
- 169 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 170, characters 29-40:
- 170 | if not !do_print_time then Stream.iter else fun f strm ->
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 173, characters 40-51:
- 173 | record_time Parsing (fun () -> r := Stream.peek strm); !r
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 177, characters 16-27:
- 177 | Some a -> Stream.junk strm; ignore(f a); do_rec ()
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/common/.common.objs/byte -I src/common/.common.objs/native -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I src/lplib/.lplib.objs/byte -I src/lplib/.lplib.objs/native -intf-suffix .ml -no-alias-deps -open Common -o src/common/.common.objs/native/common__Debug.cmx -c -impl src/common/debug.ml)
- File "src/common/debug.ml", line 169, characters 37-45:
- 169 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 169, characters 37-45:
- 169 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 170, characters 29-40:
- 170 | if not !do_print_time then Stream.iter else fun f strm ->
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 173, characters 40-51:
- 173 | record_time Parsing (fun () -> r := Stream.peek strm); !r
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 177, characters 16-27:
- 177 | Some a -> Stream.junk strm; ignore(f a); do_rec ()
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled lambdapi.2.2.0
-> installed lambdapi.2.2.0
=== STDERR ===
2026-06-24 16:02.05: OK: build lambdapi.2.2.0 (runc: 17.6s, disk: 13KB)
2026-06-24 16:02.05: Job succeeded