Build:
- 0
2026-09-03 20:10.13: New job: build lambdapi.2.1.0 (5e6f550792cb)
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.1.0
2026-09-03 22:03.52: build lambdapi.2.1.0 (5e6f550792cb)
=== DEPENDENCIES (30 transitive) ===
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
bindlib.5.0.1 04698a262c52
camlp-streams.5.0.1 4c58a1da28ba
cmdliner.1.0.4 fd5f0122e79c
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
ocamlbuild.0.16.1 5ae5ab4d19bf
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.1.0: dl]
[lambdapi.2.1.0: extract]
-> retrieved lambdapi.2.1.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.1.0)
- File "dune-project", line 58, characters 24-45:
- 58 | (alt-ergo :with-test) (alt-ergo (<= 2.4.0))
- ^^^^^^^^^^^^^^^^^^^^^
- Warning: Duplicate dependency on package (alt-ergo (<= 2.4.0)) in 'depends'
- field. If you want to specify multiple constraints, combine them using (and
- ...).
- Hint: To disable this warning, add the following to your dune-project file:
- (warnings (duplicate_deps disabled))
- (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 167, characters 37-45:
- 167 | 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 167, characters 37-45:
- 167 | 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 168, characters 29-40:
- 168 | 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 171, characters 40-51:
- 171 | 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 175, characters 16-27:
- 175 | 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 167, characters 37-45:
- 167 | 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 167, characters 37-45:
- 167 | 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 168, characters 29-40:
- 168 | 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 171, characters 40-51:
- 171 | 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 175, characters 16-27:
- 175 | Some a -> Stream.junk strm; ignore(f a); do_rec ()
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled lambdapi.2.1.0
-> installed lambdapi.2.1.0
=== STDERR ===
2026-09-03 22:04.18: OK: build lambdapi.2.1.0 (runc: 15.1s, disk: 14KB)
2026-09-03 22:04.18: Job succeeded