Build:
- 0
2026-07-26 12:48.38: New job: build coq-serapi.8.12.0+0.12.1 (cfc3fe3fdc65) 2026-07-26 12:48.38: Waiting for resource in pool day11-builds 2026-07-26 13:46.04: Got resource from pool day11-builds 2026-07-26 13:46.04: [profile full] build coq-serapi.8.12.0+0.12.1 2026-07-26 13:46.04: build coq-serapi.8.12.0+0.12.1 (cfc3fe3fdc65) === 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.12.2 a09a44cfda89 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.12.0+0.12.1: dl] [coq-serapi.8.12.0+0.12.1: extract] -> retrieved coq-serapi.8.12.0+0.12.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.12.0+0.12.1) - (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__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 - (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__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 [ERROR] The compilation of coq-serapi.8.12.0+0.12.1 failed at "dune build -p coq-serapi -j 39". build failed... === STDERR === 2026-07-26 13:46.57: FAILED: build coq-serapi.8.12.0+0.12.1 2026-07-26 13:46.57: Job failed: build failed: coq-serapi.8.12.0+0.12.1