2026-11-08 20:32.04: New job: build rocq-waterproof.3.1.1+9.1 (8132d38ef4d6)
2026-11-08 20:32.04: [profile full] build rocq-waterproof.3.1.1+9.1
2026-11-08 20:32.07: build rocq-waterproof.3.1.1+9.1 (8132d38ef4d6)
=== DEPENDENCIES (19 transitive) ===
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  compiler-cloning.enabled                           656c3e8c82d2
  conf-gmp.5                                         5fdec896ddcc
  conf-linux-libc-dev.0                              07a14bf9b8b1
  conf-pkg-config.5                                  918c1ea9acfc
  coq.9.1.1                                          2395f5ce8bd4
  coq-core.9.1.1                                     3aedeb1d0add
  coq-stdlib.9.0.0                                   9989a50662c2
  coqide-server.9.1.1                                edd06ab5da57
  dune.3.23.1                                        9c86cc0672e8
  ocaml.5.5.2                                        fec8e2d43a6e
  ocaml-base-compiler.5.5.2                          ef85578d279b
  ocaml-compiler.5.5.2                               2759c28bbd03
  ocamlfind.1.9.9~preview                            f6d4e7fc14b0
  rocq-core.9.1.1                                    0cec3ed09b01
  rocq-runtime.9.1.1                                 ad2600668b51
  rocq-stdlib.9.0.0                                  4399d4ee5983
  zarith.1.14                                        f815f6ef43c3
=== STDOUT ===
Processing: [default: loading data]
[rocq-waterproof.3.1.1+9.1: dl]
[rocq-waterproof.3.1.1+9.1: extract]
-> retrieved rocq-waterproof.3.1.1+9.1  (https://opam.ocaml.org/cache)
[rocq-waterproof: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "rocq-waterproof" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/rocq-waterproof.3.1.1+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.1+9.1
-> compiled  rocq-waterproof.3.1.1+9.1
-> installed rocq-waterproof.3.1.1+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-11-08 20:34.57: OK: build rocq-waterproof.3.1.1+9.1 (runc: 149.2s, disk: 11KB)
2026-11-08 20:34.57: Job succeeded