Build:
- 0
2026-06-24 16:03.45: New job: build coq-serapi.8.13.0+0.13.1 (23cedf4e7387) 2026-06-24 16:03.45: Waiting for resource in pool day11-builds 2026-06-24 16:57.47: Got resource from pool day11-builds 2026-06-24 16:57.47: [profile full] build coq-serapi.8.13.0+0.13.1 2026-06-24 16:57.47: build coq-serapi.8.13.0+0.13.1 (23cedf4e7387) === DEPENDENCIES (31 transitive) === base.v0.14.4 937960646323 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb cmdliner.1.3.0 7280d3fb1acd conf-findutils.1 26549b564faf conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 coq.8.13.2 f9b80a8a3e45 cppo.1.8.0 5f3f70cae95b csexp.1.5.2 610c78f17734 dune.3.23.1 848a72441e15 dune-configurator.3.23.1 bc97ce98d8a9 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 parsexp.v0.14.2 64be31f916bc ppx_derivers.1.2.1 9245877bc46e ppx_deriving.5.2.1 ee5dc71f0270 ppx_deriving_yojson.3.6.1 b03e7966e4e6 ppx_import.1.9.1 2aa352258530 ppx_sexp_conv.v0.14.3 46c48c54eeef ppxlib.0.25.1 d883cca984de result.1.5 9b1cd45b2159 sexplib.v0.14.0 038a27c7e8de sexplib0.v0.14.0 75fd723bc5ba stdlib-shims.0.3.0 de5202e23add yojson.3.0.0 99e7f342c6b3 zarith.1.14 a8971d2f668c === STDOUT === Processing: [default: loading data] [coq-serapi.8.13.0+0.13.1: dl] [coq-serapi.8.13.0+0.13.1: extract] -> retrieved coq-serapi.8.13.0+0.13.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.13.0+0.13.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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 70, characters 12-23: - 70 | let e = Stream.next str in - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "serapi/serapi_protocol.ml", line 603, characters 51-67: - 603 | | 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 707, characters 33-49: - 707 | 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 714, characters 33-49: - 714 | 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 945, characters 19-35: - 945 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 70, characters 12-23: - 70 | let e = Stream.next str in - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "serapi/serapi_protocol.ml", line 603, characters 51-67: - 603 | | 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 707, characters 33-49: - 707 | 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 714, characters 33-49: - 714 | 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 945, characters 19-35: - 945 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 96, characters 19-35: - 96 | let in_strm = Stream.of_string sent in - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "sertop/sername.ml", line 220, characters 4-13: - 220 | 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 223, characters 12-21: - 223 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 80, characters 10-21: - 80 | let e = Stream.next str in - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 81, characters 21-38: - 81 | 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 231, characters 4-13: - 231 | 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 234, characters 12-21: - 234 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 96, characters 19-35: - 96 | let in_strm = Stream.of_string sent in - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "sertop/sername.ml", line 220, characters 4-13: - 220 | 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 223, characters 12-21: - 223 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 81, characters 21-38: - 81 | 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 231, characters 4-13: - 231 | 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 234, characters 12-21: - 234 | 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/clib -I /home/opam/.opam/default/lib/coq/config -I /home/opam/.opam/default/lib/coq/engine -I /home/opam/.opam/default/lib/coq/gramlib/.pack -I /home/opam/.opam/default/lib/coq/interp -I /home/opam/.opam/default/lib/coq/kernel -I /home/opam/.opam/default/lib/coq/kernel/byterun -I /home/opam/.opam/default/lib/coq/lib -I /home/opam/.opam/default/lib/coq/library -I /home/opam/.opam/default/lib/coq/parsing -I /home/opam/.opam/default/lib/coq/plugins/ltac -I /home/opam/.opam/default/lib/coq/pretyping -I /home/opam/.opam/default/lib/coq/printing -I /home/opam/.opam/default/lib/coq/proofs -I /home/opam/.opam/default/lib/coq/stm -I /home/opam/.opam/default/lib/coq/tactics -I /home/opam/.opam/default/lib/coq/vernac -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 80, characters 10-21: - 80 | let e = Stream.next str in - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - 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. -> compiled coq-serapi.8.13.0+0.13.1 -> installed coq-serapi.8.13.0+0.13.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-24 16:59.04: OK: build coq-serapi.8.13.0+0.13.1 (runc: 57.7s, disk: 35KB) 2026-06-24 16:59.04: Job succeeded