2026-06-23 18:55.29: New job: build coq-serapi.8.15.0+0.15.1 (7bac87b00cd9)
2026-06-23 18:55.29: Waiting for resource in pool day11-builds
2026-06-23 19:58.40: Got resource from pool day11-builds
2026-06-23 19:58.40: [profile full] build coq-serapi.8.15.0+0.15.1
2026-06-23 19:58.40: build coq-serapi.8.15.0+0.15.1 (7bac87b00cd9)
=== DEPENDENCIES (31 transitive) ===
  base.v0.14.4                                       b5a4d60a41d0
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  cmdliner.1.3.0                                     dad70bc4de20
  conf-findutils.1                                   a943cdd45084
  conf-gmp.5                                         61e3c79e0ddf
  conf-pkg-config.5                                  4b60827fc174
  coq.8.15.2                                         df74aa8d44fe
  cppo.1.8.0                                         ea583d2d3bbb
  csexp.1.5.2                                        ec63db2dab31
  dune.3.23.1                                        5402470d931c
  dune-configurator.3.23.1                           58f4a3f92083
  num.1.6                                            480227ca99db
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-compiler-libs.v0.12.4                        d1dd1437b449
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
  parsexp.v0.14.2                                    e67fe595686c
  ppx_derivers.1.2.1                                 441538dbecd1
  ppx_deriving.5.2.1                                 905cb59bca84
  ppx_deriving_yojson.3.6.1                          edb1fb287790
  ppx_import.1.9.1                                   3d36d67438ef
  ppx_sexp_conv.v0.14.3                              2876f2286cf8
  ppxlib.0.25.1                                      5958a77f7e28
  result.1.5                                         537fffb7b75d
  sexplib.v0.14.0                                    fc9ed9e96f00
  sexplib0.v0.14.0                                   63f6c559cebe
  stdlib-shims.0.3.0                                 e2dd0beb9112
  yojson.3.0.0                                       7c8ad8b6539f
  zarith.1.14                                        da8b932acb94
=== STDOUT ===
Processing: [default: loading data]
[coq-serapi.8.15.0+0.15.1: dl]
[coq-serapi.8.15.0+0.15.1: extract]
-> retrieved coq-serapi.8.15.0+0.15.1  (https://opam.ocaml.org/cache)
[coq-serapi: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "coq-serapi" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-serapi.8.15.0+0.15.1)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -bin-annot -I serapi/.serapi.objs/byte -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Serapi -o serapi/.serapi.objs/byte/serapi__Serapi_protocol.cmo -c -impl serapi/serapi_protocol.ml)
- File "serapi/serapi_protocol.ml", line 604, characters 51-67:
- 604 |   | Vernac q       -> let pa = Pcoq.Parsable.make (Stream.of_string q) in
-                                                          ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 708, characters 33-49:
- 708 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
-                                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 715, characters 33-49:
- 715 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
-                                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 940, characters 19-35:
- 940 |         let istr = Stream.of_string input in
-                          ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Serapi -o serapi/.serapi.objs/native/serapi__Serapi_protocol.cmx -c -impl serapi/serapi_protocol.ml)
- File "serapi/serapi_protocol.ml", line 604, characters 51-67:
- 604 |   | Vernac q       -> let pa = Pcoq.Parsable.make (Stream.of_string q) in
-                                                          ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 708, characters 33-49:
- 708 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
-                                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 715, characters 33-49:
- 715 |     let pa = Pcoq.Parsable.make (Stream.of_string sent) in
-                                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "serapi/serapi_protocol.ml", line 940, characters 19-35:
- 940 |         let istr = Stream.of_string input in
-                          ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -bin-annot -I sertop/.sertop_bin.eobjs/byte -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I sertop/.sertop.objs/byte -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sertop_bin.cmo -c -impl sertop/sertop_bin.ml)
- File "sertop/sertop_bin.ml", line 84, characters 2-11:
- 84 |   Term.info "sertop" ~version:sertop_version ~doc ~man
-        ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sertop_bin.ml", line 87, characters 8-17:
- 87 |   match Term.eval sertop_cmd with
-              ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -bin-annot -I sertop/.sertop_bin.eobjs/byte -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I sertop/.sertop.objs/byte -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sertok.cmo -c -impl sertop/sertok.ml)
- File "sertop/sertok.ml", line 100, characters 16-33:
- 100 |   let in_strm = Stream.of_channel in_chan in
-                       ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sertok.ml", line 119, characters 17-33:
- 119 |       let sstr = Stream.of_string istr in
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sertok.ml", line 214, characters 4-13:
- 214 |     Term.info "sertok" ~version:sertok_version ~doc:sertok_doc ~man:sertok_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sertok.ml", line 217, characters 12-21:
- 217 |   try match Term.eval ~catch:false sertok_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -bin-annot -I sertop/.sertop_bin.eobjs/byte -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I sertop/.sertop.objs/byte -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sername.cmo -c -impl sertop/sername.ml)
- File "sertop/sername.ml", line 97, characters 19-35:
- 97 |      let in_strm = Stream.of_string sent in
-                         ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sername.ml", line 221, characters 4-13:
- 221 |     Term.info "sername" ~version:sername_version ~doc:sername_doc ~man:sername_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sername.ml", line 224, characters 12-21:
- 224 |   try match Term.eval ~catch:false sername_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -bin-annot -I sertop/.sertop_bin.eobjs/byte -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I sertop/.sertop.objs/byte -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sercomp.cmo -c -impl sertop/sercomp.ml)
- File "sertop/sercomp.ml", line 83, characters 21-38:
- 83 |        let in_strm = Stream.of_channel in_chan in
-                           ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sercomp.ml", line 234, characters 4-13:
- 234 |     Term.info "sercomp" ~version:sercomp_version ~doc:sercomp_doc ~man:sercomp_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sercomp.ml", line 237, characters 12-21:
- 237 |   try match Term.eval ~catch:false sercomp_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -I sertop/.sertop_bin.eobjs/byte -I sertop/.sertop_bin.eobjs/native -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I serlib/.serlib.objs/byte -I serlib/.serlib.objs/native -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/native -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/native/dune__exe__Sertop_bin.cmx -c -impl sertop/sertop_bin.ml)
- File "sertop/sertop_bin.ml", line 84, characters 2-11:
- 84 |   Term.info "sertop" ~version:sertop_version ~doc ~man
-        ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sertop_bin.ml", line 87, characters 8-17:
- 87 |   match Term.eval sertop_cmd with
-              ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -I sertop/.sertop_bin.eobjs/byte -I sertop/.sertop_bin.eobjs/native -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I serlib/.serlib.objs/byte -I serlib/.serlib.objs/native -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/native -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/native/dune__exe__Sername.cmx -c -impl sertop/sername.ml)
- File "sertop/sername.ml", line 97, characters 19-35:
- 97 |      let in_strm = Stream.of_string sent in
-                         ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sername.ml", line 221, characters 4-13:
- 221 |     Term.info "sername" ~version:sername_version ~doc:sername_doc ~man:sername_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sername.ml", line 224, characters 12-21:
- 224 |   try match Term.eval ~catch:false sername_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -I sertop/.sertop_bin.eobjs/byte -I sertop/.sertop_bin.eobjs/native -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I serlib/.serlib.objs/byte -I serlib/.serlib.objs/native -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/native -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/native/dune__exe__Sertok.cmx -c -impl sertop/sertok.ml)
- File "sertop/sertok.ml", line 100, characters 16-33:
- 100 |   let in_strm = Stream.of_channel in_chan in
-                       ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sertok.ml", line 119, characters 17-33:
- 119 |       let sstr = Stream.of_string istr in
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sertok.ml", line 214, characters 4-13:
- 214 |     Term.info "sertok" ~version:sertok_version ~doc:sertok_doc ~man:sertok_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sertok.ml", line 217, characters 12-21:
- 217 |   try match Term.eval ~catch:false sertok_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/ppx.exe --as-ppx' -I sertop/.sertop_bin.eobjs/byte -I sertop/.sertop_bin.eobjs/native -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I serapi/.serapi.objs/byte -I serapi/.serapi.objs/native -I serlib/.serlib.objs/byte -I serlib/.serlib.objs/native -I serlib/plugins/ltac/.serlib_ltac.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/native -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o sertop/.sertop_bin.eobjs/native/dune__exe__Sercomp.cmx -c -impl sertop/sercomp.ml)
- File "sertop/sercomp.ml", line 83, characters 21-38:
- 83 |        let in_strm = Stream.of_channel in_chan in
-                           ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "sertop/sercomp.ml", line 234, characters 4-13:
- 234 |     Term.info "sercomp" ~version:sercomp_version ~doc:sercomp_doc ~man:sercomp_man
-           ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "sertop/sercomp.ml", line 237, characters 12-21:
- 237 |   try match Term.eval ~catch:false sercomp_cmd with
-                   ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
-> compiled  coq-serapi.8.15.0+0.15.1
-> installed coq-serapi.8.15.0+0.15.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-23 20:00.25: OK: build coq-serapi.8.15.0+0.15.1 (runc: 51.2s, disk: 36KB)
2026-06-23 20:00.25: Job succeeded