2026-09-03 20:10.13: New job: build lambdapi.2.2.0 (070f7c60f379)
2026-09-03 20:10.13: Waiting for resource in pool day11-builds
2026-09-03 22:03.52: Got resource from pool day11-builds
2026-09-03 22:03.52: [profile full] build lambdapi.2.2.0
2026-09-03 22:03.52: build lambdapi.2.2.0 (070f7c60f379)
=== DEPENDENCIES (29 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  bindlib.6.0.0                                      570525e79567
  camlp-streams.5.0.1                                4c58a1da28ba
  cmdliner.1.3.0                                     50421b7f7592
  conf-autoconf.1                                    788c5c60b51c
  dune.3.24.2                                        bf83cdf0a904
  gen.1.1                                            d4273db2c7bb
  menhir.20260209                                    b5ea77665ed0
  menhirCST.20260209                                 fdf00709dc1b
  menhirGLR.20260209                                 e8065dac32e6
  menhirLib.20260209                                 588b502bc771
  menhirSdk.20260209                                 8571405b07e4
  num.1.6                                            fe036226102b
  ocaml.4.14.4                                       c7d6265b51fe
  ocaml-base-compiler.4.14.4                         7a409b6ffbef
  ocaml-compiler-libs.v0.12.4                        0a923ba812db
  ocaml-config.2                                     85edea6ac168
  ocamlfind.1.9.8                                    3cae95bed0a0
  ppx_derivers.1.2.1                                 e8685a77fc9e
  ppxlib.0.38.0                                      4fd127ac1dbb
  pratter.1.2.1                                      8444cc86c50d
  sedlex.3.7                                         d67308553041
  seq.base                                           1957e27deb9b
  sexplib0.v0.17.0                                   17292fd79d80
  stdlib-shims.0.3.0                                 484c72a128b6
  timed.1.1                                          fb1b3dfdb8d6
  why3.1.4.1                                         e854e5725690
  yojson.3.0.0                                       74cfe9abd4f0
=== 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-09-03 22:04.18: OK: build lambdapi.2.2.0 (runc: 16.2s, disk: 13KB)
2026-09-03 22:04.18: Job succeeded