Build:
- 0
2026-07-26 12:48.38: New job: build coq-serapi.8.11.0+0.11.0 (078aca4f2437)
2026-07-26 12:48.38: Waiting for resource in pool day11-builds
2026-07-26 13:46.05: Got resource from pool day11-builds
2026-07-26 13:46.05: [profile full] build coq-serapi.8.11.0+0.11.0
2026-07-26 13:46.05: build coq-serapi.8.11.0+0.11.0 (078aca4f2437)
=== DEPENDENCIES (28 transitive) ===
base.v0.14.4 46aa79658aad
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
cmdliner.2.1.1 eee42f270868
conf-findutils.1 aaa98bce768f
coq.8.11.2 92b6b8c0cf85
cppo.1.8.0 945948bdb2d7
csexp.1.5.2 8114a2e270f2
dune.3.22.2 8ed4174bb2b8
dune-configurator.3.22.2 e7d7e9bdbdac
num.1.6 49837523a9ea
ocaml.4.11.2 fb1af90d0ba2
ocaml-base-compiler.4.11.2 60632dcf213f
ocaml-compiler-libs.v0.12.4 a770d7f7036f
ocaml-config.1 b767fc6a08e2
ocamlfind.1.9.8 1a55b7e9d5ea
parsexp.v0.14.2 0b9fb4ad4dfd
ppx_derivers.1.2.1 7193bc02abf6
ppx_deriving.5.2.1 d62e51243f4b
ppx_deriving_yojson.3.6.1 e915ed051203
ppx_import.1.9.1 2d8e0846183a
ppx_sexp_conv.v0.14.3 7d14f7027ce9
ppxlib.0.25.1 e407de15d032
result.1.5 77d905a3a4e9
sexplib.v0.14.0 f8d6d2edc0f7
sexplib0.v0.14.0 c594c99487fe
stdlib-shims.0.3.0 d0761ba92b16
yojson.3.0.0 fd46d4576bbe
=== 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
build failed...
[ERROR] The compilation of coq-serapi.8.11.0+0.11.0 failed at "dune build -p coq-serapi -j 39".
=== STDERR ===
2026-07-26 13:46.57: FAILED: build coq-serapi.8.11.0+0.11.0
2026-07-26 13:46.57: Job failed: build failed: coq-serapi.8.11.0+0.11.0