Build:
- 0
2026-06-24 16:35.06: New job: build coq-serapi.8.18.0+0.18.2 (2fd11770b8fc) 2026-06-24 16:35.06: Waiting for resource in pool day11-builds 2026-06-24 17:22.33: Got resource from pool day11-builds 2026-06-24 17:22.33: [profile full] build coq-serapi.8.18.0+0.18.2 2026-06-24 17:22.33: build coq-serapi.8.18.0+0.18.2 (2fd11770b8fc) === DEPENDENCIES (37 transitive) === base.v0.17.3 44ab909172b6 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb cmdliner.2.1.1 4540f3e99a11 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 coq.8.18.0 f5f44d16f0f7 coq-core.8.18.0 111132a69caa coq-stdlib.8.18.0 e38e2b66a6e4 coqide-server.8.18.0 a1c5a8c245af cppo.1.8.0 707014c804a2 csexp.1.5.2 92433c319244 dune.3.23.1 e0b92eb669dd dune-configurator.3.23.1 d25b45a29f0e num.1.6 b2d99af37bad ocaml.5.2.1 ce2dc9fc0eff ocaml-base-compiler.5.2.1 88ed4056afb0 ocaml-compiler-libs.v0.17.0 7a7a1fd4abf1 ocaml-config.3 2c9ee201ff82 ocaml_intrinsics_kernel.v0.17.2 591a92dc2fb5 ocamlfind.1.9.6 3a89949ac495 parsexp.v0.17.0 8816fe64638e ppx_compare.v0.17.0 8a7959b6cb66 ppx_derivers.1.2.1 d0a488220905 ppx_deriving.5.2.1 5f9ebc24873d ppx_deriving_yojson.3.9.1 440d07fe2631 ppx_hash.v0.17.0 bc72812baa2d ppx_import.1.12.0 f5ae4ace8e90 ppx_sexp_conv.v0.17.0 cb76e92ea0b4 ppxlib.0.35.0 cb19934987a2 ppxlib_jane.v0.17.0 3b945b339118 result.1.5 9de3a664312f sexplib.v0.17.0 8594f4a43efa sexplib0.v0.17.0 3ad1d2c4d274 stdlib-shims.0.3.0 1912344dadaf yojson.3.0.0 899688556efe zarith.1.14 1762d95c22de === STDOUT === Processing: [default: loading data] [coq-serapi.8.18.0+0.18.2: dl] [coq-serapi.8.18.0+0.18.2: extract] -> retrieved coq-serapi.8.18.0+0.18.2 (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.18.0+0.18.2) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I sertop/.sertop_bin.eobjs/byte -I sertop/.sertop_bin.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file sertop/.sertop_bin.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o sertop/.sertop_bin.eobjs/native/findlib_initl.cmx -c -impl sertop/.sertop_bin.eobjs/findlib_initl.ml-gen) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -ppx '.ppx/57117850cf7446e8ab880c016e1008ee/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 -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/plugins/ltac -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -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_hash/runtime-lib -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 /home/opam/.opam/default/lib/zarith -I extcoq/.extcoq.objs/byte -I extcoq/.extcoq.objs/native -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 -cmi-file sertop/.sertop.objs/byte/sertop__Sertop_loader.cmi -no-alias-deps -open Sertop -o sertop/.sertop.objs/native/sertop__Sertop_loader.cmx -c -impl sertop/sertop_loader.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_dynload, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_package_base, and its interface was not compiled with -opaque -> compiled coq-serapi.8.18.0+0.18.2 -> installed coq-serapi.8.18.0+0.18.2 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-24 17:24.36: OK: build coq-serapi.8.18.0+0.18.2 (runc: 64.2s, disk: 14KB) 2026-06-24 17:24.36: Job succeeded