2026-06-23 21:26.21: New job: build coq-waterproof.3.1.0+9.1 (948afeba4746)
2026-06-23 21:26.21: Waiting for resource in pool day11-builds
2026-06-23 22:16.21: Got resource from pool day11-builds
2026-06-23 22:16.21: [profile full] build coq-waterproof.3.1.0+9.1
2026-06-23 22:16.21: build coq-waterproof.3.1.0+9.1 (948afeba4746)
=== DEPENDENCIES (19 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  compiler-cloning.enabled                           0d2606125f88
  conf-gmp.5                                         61e3c79e0ddf
  conf-linux-libc-dev.0                              096e638ca371
  conf-pkg-config.5                                  4b60827fc174
  coq.9.1.1                                          a34f2524a987
  coq-core.9.1.1                                     889d27a2d289
  coq-stdlib.9.0.0                                   b84c67431a3f
  coqide-server.9.1.1                                3ddbfc566080
  dune.3.23.1                                        dbfeecb5ca10
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
  ocamlfind.1.9.8                                    5b46f9d92bbd
  rocq-core.9.1.1                                    ba742ff9198e
  rocq-runtime.9.1.1                                 1eb3bac6e03c
  rocq-stdlib.9.0.0                                  9552b6e627da
  zarith.1.14                                        e195aa531085
=== STDOUT ===
Processing: [default: loading data]
[coq-waterproof.3.1.0+9.1: dl]
[coq-waterproof.3.1.0+9.1: extract]
-> retrieved coq-waterproof.3.1.0+9.1  (https://opam.ocaml.org/cache)
[coq-waterproof: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "coq-waterproof" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-waterproof.3.1.0+9.1)
- (cd _build/default && /home/opam/.opam/default/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -boot -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/rocq-runtime/boot -I /home/opam/.opam/default/lib/rocq-runtime/clib -I /home/opam/.opam/default/lib/rocq-runtime/config -I /home/opam/.opam/default/lib/rocq-runtime/engine -I /home/opam/.opam/default/lib/rocq-runtime/gramlib -I /home/opam/.opam/default/lib/rocq-runtime/interp -I /home/opam/.opam/default/lib/rocq-runtime/kernel -I /home/opam/.opam/default/lib/rocq-runtime/lib -I /home/opam/.opam/default/lib/rocq-runtime/library -I /home/opam/.opam/default/lib/rocq-runtime/parsing -I /home/opam/.opam/default/lib/rocq-runtime/perf -I /home/opam/.opam/default/lib/rocq-runtime/plugins/cc_core -I /home/opam/.opam/default/lib/rocq-runtime/plugins/ltac -I /home/opam/.opam/default/lib/rocq-runtime/plugins/ltac2 -I /home/opam/.opam/default/lib/rocq-runtime/pretyping -I /home/opam/.opam/default/lib/rocq-runtime/printing -I /home/opam/.opam/default/lib/rocq-runtime/proofs -I /home/opam/.opam/default/lib/rocq-runtime/tactics -I /home/opam/.opam/default/lib/rocq-runtime/vernac -I /home/opam/.opam/default/lib/rocq-runtime/vm -I /home/opam/.opam/default/lib/zarith -I src -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/btauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/cc -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/cc_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/derive -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/extraction -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/firstorder -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/firstorder_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/funind -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac2 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac2_ltac1 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/micromega -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/micromega_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/nsatz -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/nsatz_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/number_string_notation -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ring -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/rtauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ssreflect -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ssrmatching -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p0 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p1 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p2 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p3 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p4 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/zify -R /home/opam/.opam/default/lib/coq/theories Coq -Q /home/opam/.opam/default/lib/coq/user-contrib/Stdlib Stdlib -Q /home/opam/.opam/default/lib/coq/user-contrib/Ltac2 Ltac2 -R theories Waterproof theories/Version.v)
- 3.1.0+9.1
-> compiled  coq-waterproof.3.1.0+9.1
-> installed coq-waterproof.3.1.0+9.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-23 22:19.50: OK: build coq-waterproof.3.1.0+9.1 (runc: 196.7s, disk: 11KB)
2026-06-23 22:19.50: Job succeeded