Build:
- 0
2026-06-24 16:23.53: New job: build coq-serapi.8.11.0+0.11.0 (026804be5899)
2026-06-24 16:23.53: Waiting for resource in pool day11-builds
2026-06-24 17:16.52: Got resource from pool day11-builds
2026-06-24 17:16.52: [profile full] build coq-serapi.8.11.0+0.11.0
2026-06-24 17:16.52: build coq-serapi.8.11.0+0.11.0 (026804be5899)
=== DEPENDENCIES (28 transitive) ===
base.v0.14.4 623ce2028dcd
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
cmdliner.2.1.1 861fc7b6374a
conf-findutils.1 26549b564faf
coq.8.11.2 ca158f10db06
cppo.1.8.0 2e95fa8d1658
csexp.1.5.2 ddd4f73d4409
dune.3.22.2 de99614aa6cd
dune-configurator.3.22.2 4d1b865f0d6d
num.1.6 75f83edda7ae
ocaml.4.11.2 dc018a4b7397
ocaml-base-compiler.4.11.2 81f0dd8b8651
ocaml-compiler-libs.v0.12.4 e6d12cb9203e
ocaml-config.1 2489653e51e5
ocamlfind.1.9.8 c048fc0ddff1
parsexp.v0.14.2 14e411f31288
ppx_derivers.1.2.1 cbbfbf126cd3
ppx_deriving.5.2.1 73e3b8f57c79
ppx_deriving_yojson.3.6.1 78054f7fc115
ppx_import.1.9.1 b13a327b1f91
ppx_sexp_conv.v0.14.3 980db7becaab
ppxlib.0.25.1 dc58f313672b
result.1.5 5e3b7e3955f2
sexplib.v0.14.0 0010d026882b
sexplib0.v0.14.0 b4069cae324c
stdlib-shims.0.3.0 ec1dd6b9e716
yojson.3.0.0 9704a9ae19bc
=== STDOUT ===
Processing: [default: loading data]
[coq-serapi.8.11.0+0.11.0: dl]
[coq-serapi.8.11.0+0.11.0: extract]
-> retrieved coq-serapi.8.11.0+0.11.0 (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.11.0+0.11.0)
- File "dune-project", line 2, characters 11-14:
- 2 | (using fmt 1.0)
- ^^^
- Warning: Version 1.0 of integration with automatic formatters is not
- supported until version 1.4 of the dune language.
- There are no supported versions of this extension in version 1.2 of the dune
- language.
-
- (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 -no-alias-deps -open Serapi -o serapi/.serapi.objs/byte/serapi__Serapi_protocol.cmi -c -intf serapi/serapi_protocol.mli)
- File "serapi/serapi_protocol.mli", line 291, characters 23-32:
- 291 | { preds : query_pred sexp_list;
- ^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_list
- [since 2019-03] use [@sexp.list] instead
- File "serapi/serapi_protocol.mli", line 293, characters 16-27:
- 293 | limit : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 360, characters 23-34:
- 360 | { ontop : Stateid.t sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 368, characters 21-32:
- 368 | lim : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 370, characters 21-32:
- 370 | ontop : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 372, characters 21-32:
- 372 | newtip : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 388, characters 42-53:
- 388 | ; iload_path : Loadpath.coq_path list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.mli", line 390, characters 63-74:
- 390 | ; require_libs : (string * string option * bool option) list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] 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 -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 382, characters 23-32:
- 382 | { preds : query_pred sexp_list;
- ^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_list
- [since 2019-03] use [@sexp.list] instead
- File "serapi/serapi_protocol.ml", line 383, characters 16-27:
- 383 | limit : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 662, characters 23-34:
- 662 | { ontop : Stateid.t sexp_option }
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 665, characters 21-32:
- 665 | lim : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 666, characters 21-32:
- 666 | ontop : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 667, characters 21-32:
- 667 | newtip : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 777, characters 42-53:
- 777 | ; iload_path : Loadpath.coq_path list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 779, characters 63-74:
- 779 | ; require_libs : (string * string option * bool option) list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- (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 -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 382, characters 23-32:
- 382 | { preds : query_pred sexp_list;
- ^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_list
- [since 2019-03] use [@sexp.list] instead
- File "serapi/serapi_protocol.ml", line 383, characters 16-27:
- 383 | limit : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 662, characters 23-34:
- 662 | { ontop : Stateid.t sexp_option }
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 665, characters 21-32:
- 665 | lim : int sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 666, characters 21-32:
- 666 | ontop : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 667, characters 21-32:
- 667 | newtip : Stateid.t sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 777, characters 42-53:
- 777 | ; iload_path : Loadpath.coq_path list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "serapi/serapi_protocol.ml", line 779, characters 63-74:
- 779 | ; require_libs : (string * string option * bool option) list sexp_option
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/ad716e0ed77d42ee1c0a4becf7f90566/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/num -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 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 -o sertop/.sertop_bin.eobjs/byte/sertop_bin.cmo -c -impl sertop/sertop_bin.ml)
- File "sertop/sertop_bin.ml", line 76, characters 2-11:
- 76 | Term.info "sertop" ~version:sertop_version ~doc ~man
- ^^^^^^^^^
- Error: Unbound value Term.info
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/ad716e0ed77d42ee1c0a4becf7f90566/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/num -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 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 -o sertop/.sertop_bin.eobjs/byte/sertok.cmo -c -impl sertop/sertok.ml)
- File "sertop/sertok.ml", line 203, characters 4-13:
- 203 | Term.info "sertok" ~version:sertok_version ~doc:sertok_doc ~man:sertok_man
- ^^^^^^^^^
- Error: Unbound value Term.info
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/ad716e0ed77d42ee1c0a4becf7f90566/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/num -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 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 -o sertop/.sertop_bin.eobjs/byte/sercomp.cmo -c -impl sertop/sercomp.ml)
- File "sertop/sercomp.ml", line 220, characters 4-13:
- 220 | Term.info "sercomp" ~version:sercomp_version ~doc:sercomp_doc ~man:sercomp_man
- ^^^^^^^^^
- Error: Unbound value Term.info
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -ppx '.ppx/ad716e0ed77d42ee1c0a4becf7f90566/ppx.exe --as-ppx --cookie '\''library-name="sertop"'\''' -bin-annot -I sertop/.sertop.objs/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 serapi/.serapi.objs/byte -I serlib/.serlib.objs/byte -I serlib/plugins/ltac/.serlib_ltac.objs/byte -intf-suffix .ml -no-alias-deps -open Sertop -o sertop/.sertop.objs/byte/sertop__Sertop_ser.cmo -c -impl sertop/sertop_ser.ml)
- File "sertop/sertop_ser.ml", line 182, characters 33-42:
- 182 | Sexplib.Conv.sexp_list := sexp_list;
- ^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_list
- [since 2019-03] use [@sexp.list] instead
- File "sertop/sertop_ser.ml", line 183, characters 33-44:
- 183 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 264, characters 33-44:
- 264 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 264, characters 33-44:
- 264 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 271, characters 33-44:
- 271 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -ppx '.ppx/ad716e0ed77d42ee1c0a4becf7f90566/ppx.exe --as-ppx --cookie '\''library-name="sertop"'\''' -I sertop/.sertop.objs/byte -I sertop/.sertop.objs/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 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 -intf-suffix .ml -no-alias-deps -open Sertop -o sertop/.sertop.objs/native/sertop__Sertop_ser.cmx -c -impl sertop/sertop_ser.ml)
- File "sertop/sertop_ser.ml", line 182, characters 33-42:
- 182 | Sexplib.Conv.sexp_list := sexp_list;
- ^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_list
- [since 2019-03] use [@sexp.list] instead
- File "sertop/sertop_ser.ml", line 183, characters 33-44:
- 183 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 255, characters 33-44:
- 255 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 264, characters 33-44:
- 264 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 264, characters 33-44:
- 264 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
- File "sertop/sertop_ser.ml", line 271, characters 33-44:
- 271 | Sexplib.Conv.sexp_option := sexp_option;
- ^^^^^^^^^^^
- Alert deprecated: Sexplib.Conv.sexp_option
- [since 2019-03] use [@sexp.option] instead
[ERROR] The compilation of coq-serapi.8.11.0+0.11.0 failed at "dune build -p coq-serapi -j 39".
build failed...
=== STDERR ===
2026-06-24 17:17.40: FAILED: build coq-serapi.8.11.0+0.11.0
2026-06-24 17:17.40: Job failed: build failed: coq-serapi.8.11.0+0.11.0