2026-09-04 00:34.28: New job: build coq-waterproof.3.1.0+9.0 (93aacb82271e)
2026-09-04 00:34.28: Waiting for resource in pool day11-builds
2026-09-04 00:56.45: Got resource from pool day11-builds
2026-09-04 00:56.45: [profile full] build coq-waterproof.3.1.0+9.0
2026-09-04 00:56.45: build coq-waterproof.3.1.0+9.0 (93aacb82271e)
=== DEPENDENCIES (20 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  conf-gmp.5                                         eac5259e412f
  conf-linux-libc-dev.0                              0af5b24bacd0
  conf-pkg-config.5                                  74f50f3cfe72
  coq.9.0.1                                          79acd5550b20
  coq-core.9.0.1                                     bd0add4b42ed
  coq-stdlib.9.0.0                                   98f4bd8982e6
  coqide-server.9.0.1                                dfb44590e745
  dune.3.23.1                                        8d06ddbdcff0
  ocaml.5.4.1                                        f01fda733396
  ocaml-base-compiler.5.4.1                          d24c54dd04d7
  ocaml-compiler.5.4.1                               5e4d2e54ea9c
  ocaml-config.3                                     d59e78145b7c
  ocamlfind.1.9.8                                    d0ee8c624584
  rocq-core.9.0.1                                    25cfb2c3e33d
  rocq-prover.9.0.0                                  b8d22ddac4ed
  rocq-runtime.9.0.1                                 a633493c293b
  rocq-stdlib.9.0.0                                  0c97b329ec60
  zarith.1.14                                        10f02761c35e
=== STDOUT ===
Processing: [default: loading data]
[coq-waterproof.3.1.0+9.0: dl]
[coq-waterproof.3.1.0+9.0: extract]
-> retrieved coq-waterproof.3.1.0+9.0  (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.0)
- (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/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.0
-> compiled  coq-waterproof.3.1.0+9.0
-> installed coq-waterproof.3.1.0+9.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-09-04 00:59.41: OK: build coq-waterproof.3.1.0+9.0 (runc: 174.3s, disk: 11KB)
2026-09-04 00:59.41: Job succeeded