2026-10-29 09:25.31: New job: build coq-serapi.8.12.0+0.12.0 (26d57de46253)
2026-10-29 09:25.31: Waiting for resource in pool day11-builds
2026-10-29 11:56.04: Got resource from pool day11-builds
2026-10-29 11:56.04: [profile full] build coq-serapi.8.12.0+0.12.0
2026-10-29 11:56.04: build coq-serapi.8.12.0+0.12.0 (26d57de46253)
=== DEPENDENCIES (28 transitive) ===
  base.v0.13.2                                       bed3737f0616
  base-threads.base                                  f062ded5f7fe
  base-unix.base                                     200a1b731b4b
  cmdliner.2.1.1                                     dbe2e7ab9c15
  conf-findutils.1                                   800ac857348e
  coq.8.12.2                                         34150af0225f
  cppo.1.8.0                                         f461fe9cd9c9
  csexp.1.5.2                                        179176f26314
  dune.3.22.2                                        a4be48b63d78
  dune-configurator.3.22.2                           c316ebad0755
  num.1.6                                            3cfc5d64b878
  ocaml.4.11.2                                       24c2ff6d6aa7
  ocaml-base-compiler.4.11.2                         a6ab2b1393dc
  ocaml-compiler-libs.v0.12.4                        814c02c77727
  ocaml-config.1                                     7753a7a1bb09
  ocamlfind.1.9.8                                    cae964d12060
  parsexp.v0.13.0                                    40002c27def1
  ppx_derivers.1.2.1                                 e257b96cc230
  ppx_deriving.5.2.1                                 025877dc0e9a
  ppx_deriving_yojson.3.6.1                          89ccc00456e3
  ppx_import.1.9.1                                   fc7be1303893
  ppx_sexp_conv.v0.13.0                              165d55a9ac66
  ppxlib.0.24.0                                      872122518329
  result.1.5                                         1a3af5e6791e
  sexplib.v0.13.0                                    da3ff12501e0
  sexplib0.v0.13.0                                   9393d09ed8e8
  stdlib-shims.0.3.0                                 d998f1a5b540
  yojson.3.0.0                                       1582e93d30bd
=== STDOUT ===
Processing: [default: loading data]
[coq-serapi.8.12.0+0.12.0: dl]
[coq-serapi.8.12.0+0.12.0: extract]
-> retrieved coq-serapi.8.12.0+0.12.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.12.0+0.12.0)
- (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 -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
-        ^^^^^^^^^
- 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 -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sercomp.cmo -c -impl sertop/sercomp.ml)
- File "sertop/sercomp.ml", line 231, characters 4-13:
- 231 |     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' -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 -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sertok.cmo -c -impl sertop/sertok.ml)
- File "sertop/sertok.ml", line 214, characters 4-13:
- 214 |     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 -open Dune__exe -o sertop/.sertop_bin.eobjs/byte/dune__exe__Sername.cmo -c -impl sertop/sername.ml)
- File "sertop/sername.ml", line 220, characters 4-13:
- 220 |     Term.info "sername" ~version:sername_version ~doc:sername_doc ~man:sername_man
-           ^^^^^^^^^
- Error: Unbound value Term.info
[ERROR] The compilation of coq-serapi.8.12.0+0.12.0 failed at "dune build -p coq-serapi -j 39".
build failed... 

=== STDERR ===

2026-10-29 11:56.54: FAILED: build coq-serapi.8.12.0+0.12.0
2026-10-29 11:56.54: Job failed: build failed: coq-serapi.8.12.0+0.12.0