Build:
- 0
2026-06-24 16:00.32: New job: build lambdapi.2.0.0 (957c5b347528)
2026-06-24 16:00.32: Waiting for resource in pool day11-builds
2026-06-24 16:55.48: Got resource from pool day11-builds
2026-06-24 16:55.48: [profile full] build lambdapi.2.0.0
2026-06-24 16:55.48: build lambdapi.2.0.0 (957c5b347528)
=== DEPENDENCIES (35 transitive) ===
alt-ergo.2.2.0 0719dad3f769
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
bindlib.5.0.1 bccf2a27aea8
camlp-streams.5.0.1 28f363162dde
camlzip.1.07 2fd78855ac76
cmdliner.1.3.0 7280d3fb1acd
conf-autoconf.0.2 676e4452dc37
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
dune.3.23.1 848a72441e15
gen.1.1 184c22a7869b
menhir.20211128 4d375e46691e
menhirLib.20211128 84dec646e3db
menhirSdk.20211128 fab0287522a3
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
ocamlbuild.0.16.1 7e0d6aadb209
ocamlfind.1.9.8 214dd418ac02
ocplib-simplex.0.4.1 176009ccfa7b
ppx_derivers.1.2.1 9245877bc46e
ppxlib.0.38.0 c54fe6e3bf29
pratter.1.2.1 7cb3d5cd3ed9
psmt2-frontend.0.1 b581ab3439d5
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 7625744ba036
yojson.3.0.0 99e7f342c6b3
zarith.1.14 a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[lambdapi.2.0.0: dl]
[lambdapi.2.0.0: extract]
-> retrieved lambdapi.2.0.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.0.0)
- File "dune-project", line 56, characters 24-45:
- 56 | (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 165, characters 37-45:
- 165 | 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 165, characters 37-45:
- 165 | 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 166, characters 29-40:
- 166 | 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 169, characters 40-51:
- 169 | 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 173, characters 16-27:
- 173 | 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 165, characters 37-45:
- 165 | 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 165, characters 37-45:
- 165 | 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 166, characters 29-40:
- 166 | 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 169, characters 40-51:
- 169 | 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 173, characters 16-27:
- 173 | 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/ocamlc.opt -w -40 -g -bin-annot -I src/cli/.lambdapi.eobjs/byte -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/core/.core.objs/byte -I src/handle/.handle.objs/byte -I src/lplib/.lplib.objs/byte -I src/lsp/.lsp.objs/byte -I src/parsing/.parsing.objs/byte -I src/pure/.pure.objs/byte -I src/tool/.tool.objs/byte -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/byte/dune__exe__Init.cmo -c -impl src/cli/init.ml)
- File "src/cli/init.ml", line 74, characters 2-11:
- 74 | Term.info "init" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/cli/.lambdapi.eobjs/byte -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/core/.core.objs/byte -I src/handle/.handle.objs/byte -I src/lplib/.lplib.objs/byte -I src/lsp/.lsp.objs/byte -I src/parsing/.parsing.objs/byte -I src/pure/.pure.objs/byte -I src/tool/.tool.objs/byte -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/byte/dune__exe__Install.cmo -c -impl src/cli/install.ml)
- File "src/cli/install.ml", line 118, characters 2-11:
- 118 | Term.info "install" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/cli/install.ml", line 123, characters 2-11:
- 123 | Term.info "uninstall" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/cli/.lambdapi.eobjs/byte -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/core/.core.objs/byte -I src/handle/.handle.objs/byte -I src/lplib/.lplib.objs/byte -I src/lsp/.lsp.objs/byte -I src/parsing/.parsing.objs/byte -I src/pure/.pure.objs/byte -I src/tool/.tool.objs/byte -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/byte/dune__exe__Lambdapi.cmo -c -impl src/cli/lambdapi.ml)
- File "src/cli/lambdapi.ml", line 223, characters 2-10:
- 223 | CLT.info "check" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 231, characters 2-10:
- 231 | CLT.info "decision-tree" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 236, characters 2-10:
- 236 | CLT.info "parse" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 241, characters 2-10:
- 241 | CLT.info "beautify" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 246, characters 2-10:
- 246 | CLT.info "lsp" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 251, characters 2-10:
- 251 | CLT.info "help" ~doc
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 257, characters 2-10:
- 257 | CLT.info "version" ~doc
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 263, characters 2-10:
- 263 | CLT.info "lambdapi" ~version ~doc ~sdocs
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 274, characters 7-11:
- 274 | CLT.(exit (eval_choice default_cmd cmds))
- ^^^^
- Alert deprecated: CLT.exit
- Use Stdlib.exit and Cmd.eval instead.
- File "src/cli/lambdapi.ml", line 274, characters 13-24:
- 274 | CLT.(exit (eval_choice default_cmd cmds))
- ^^^^^^^^^^^
- Alert deprecated: CLT.eval_choice
- Use Cmd.group and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/cli/.lambdapi.eobjs/byte -I src/cli/.lambdapi.eobjs/native -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/common/.common.objs/native -I src/core/.core.objs/byte -I src/core/.core.objs/native -I src/handle/.handle.objs/byte -I src/handle/.handle.objs/native -I src/lplib/.lplib.objs/byte -I src/lplib/.lplib.objs/native -I src/lsp/.lsp.objs/byte -I src/lsp/.lsp.objs/native -I src/parsing/.parsing.objs/byte -I src/parsing/.parsing.objs/native -I src/pure/.pure.objs/byte -I src/pure/.pure.objs/native -I src/tool/.tool.objs/byte -I src/tool/.tool.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/native/dune__exe__Init.cmx -c -impl src/cli/init.ml)
- File "src/cli/init.ml", line 74, characters 2-11:
- 74 | Term.info "init" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/cli/.lambdapi.eobjs/byte -I src/cli/.lambdapi.eobjs/native -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/common/.common.objs/native -I src/core/.core.objs/byte -I src/core/.core.objs/native -I src/handle/.handle.objs/byte -I src/handle/.handle.objs/native -I src/lplib/.lplib.objs/byte -I src/lplib/.lplib.objs/native -I src/lsp/.lsp.objs/byte -I src/lsp/.lsp.objs/native -I src/parsing/.parsing.objs/byte -I src/parsing/.parsing.objs/native -I src/pure/.pure.objs/byte -I src/pure/.pure.objs/native -I src/tool/.tool.objs/byte -I src/tool/.tool.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/native/dune__exe__Install.cmx -c -impl src/cli/install.ml)
- File "src/cli/install.ml", line 118, characters 2-11:
- 118 | Term.info "install" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/cli/install.ml", line 123, characters 2-11:
- 123 | Term.info "uninstall" ~doc
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/cli/.lambdapi.eobjs/byte -I src/cli/.lambdapi.eobjs/native -I /home/opam/.opam/default/lib/bindlib -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/pratter -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/sedlex/ppx -I /home/opam/.opam/default/lib/sedlex/utils -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/timed -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zip -I src/common/.common.objs/byte -I src/common/.common.objs/native -I src/core/.core.objs/byte -I src/core/.core.objs/native -I src/handle/.handle.objs/byte -I src/handle/.handle.objs/native -I src/lplib/.lplib.objs/byte -I src/lplib/.lplib.objs/native -I src/lsp/.lsp.objs/byte -I src/lsp/.lsp.objs/native -I src/parsing/.parsing.objs/byte -I src/parsing/.parsing.objs/native -I src/pure/.pure.objs/byte -I src/pure/.pure.objs/native -I src/tool/.tool.objs/byte -I src/tool/.tool.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/cli/.lambdapi.eobjs/native/dune__exe__Lambdapi.cmx -c -impl src/cli/lambdapi.ml)
- File "src/cli/lambdapi.ml", line 223, characters 2-10:
- 223 | CLT.info "check" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 231, characters 2-10:
- 231 | CLT.info "decision-tree" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 236, characters 2-10:
- 236 | CLT.info "parse" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 241, characters 2-10:
- 241 | CLT.info "beautify" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 246, characters 2-10:
- 246 | CLT.info "lsp" ~doc ~man:man_pkg_file
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 251, characters 2-10:
- 251 | CLT.info "help" ~doc
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 257, characters 2-10:
- 257 | CLT.info "version" ~doc
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 263, characters 2-10:
- 263 | CLT.info "lambdapi" ~version ~doc ~sdocs
- ^^^^^^^^
- Alert deprecated: CLT.info
- Use Cmd.info instead.
- File "src/cli/lambdapi.ml", line 274, characters 7-11:
- 274 | CLT.(exit (eval_choice default_cmd cmds))
- ^^^^
- Alert deprecated: CLT.exit
- Use Stdlib.exit and Cmd.eval instead.
- File "src/cli/lambdapi.ml", line 274, characters 13-24:
- 274 | CLT.(exit (eval_choice default_cmd cmds))
- ^^^^^^^^^^^
- Alert deprecated: CLT.eval_choice
- Use Cmd.group and one of Cmd.eval* instead.
-> compiled lambdapi.2.0.0
-> installed lambdapi.2.0.0
[WARNING] Opam packages conf-autoconf.0.2, conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf libgmp-dev pkg-config
- conf-autoconf.0.2: depends on autoconf
- conf-gmp.5: depends on libgmp-dev
- conf-pkg-config.5: depends on pkg-config
=== STDERR ===
2026-06-24 16:56.33: OK: build lambdapi.2.0.0 (runc: 20.7s, disk: 30KB)
2026-06-24 16:56.33: Job succeeded