Build:
- 0
2026-11-06 03:45.56: New job: build coq-serapi.8.11.0+0.11.0 (83f085084946)
2026-11-06 03:45.56: Waiting for resource in pool day11-builds
2026-11-06 05:25.59: Got resource from pool day11-builds
2026-11-06 05:25.59: [profile full] build coq-serapi.8.11.0+0.11.0
2026-11-06 05:26.00: build coq-serapi.8.11.0+0.11.0 (83f085084946)
=== DEPENDENCIES (28 transitive) ===
base.v0.14.4 b063322d22a7
base-threads.base e5afefc1e615
base-unix.base 52b3a79a2336
cmdliner.2.1.1 8ee57c939254
conf-findutils.1 97321b9d383f
coq.8.11.2 87124fe13579
cppo.1.8.0 551f169c30b7
csexp.1.5.2 9147ec357287
dune.3.22.2 afe3caa369db
dune-configurator.3.22.2 65d4de1d7ae4
num.1.6 fce916ed2fba
ocaml.4.11.2 e0f1fd7319c1
ocaml-base-compiler.4.11.2 c06c1cfa1e33
ocaml-compiler-libs.v0.12.4 2947bb705fff
ocaml-config.1 54093cf8153b
ocamlfind.1.9.8 81a7eb0fcd9c
parsexp.v0.14.2 a074982cd452
ppx_derivers.1.2.1 f19c673fbf13
ppx_deriving.5.2.1 347c0ec1b2b2
ppx_deriving_yojson.3.6.1 59e1f3715d2d
ppx_import.1.9.1 6a28746000db
ppx_sexp_conv.v0.14.3 0281109c2454
ppxlib.0.25.1 f8c2a58eb232
result.1.5 0857611024f6
sexplib.v0.14.0 df3c570aaa60
sexplib0.v0.14.0 51e6bcb16764
stdlib-shims.0.3.0 97b50a43bb37
yojson.3.0.0 9e1a6c647e33
=== 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/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/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 -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/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/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-11-06 05:26.42: FAILED: build coq-serapi.8.11.0+0.11.0
2026-11-06 05:26.42: Job failed: build failed: coq-serapi.8.11.0+0.11.0