2026-11-07 21:29.27: New job: build rocq-waterproof.3.1.1+9.0 (b713ed0642a3)
2026-11-07 21:29.27: [profile full] build rocq-waterproof.3.1.1+9.0
2026-11-07 21:29.31: build rocq-waterproof.3.1.1+9.0 (b713ed0642a3)
=== DEPENDENCIES (20 transitive) ===
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  conf-gmp.5                                         5fdec896ddcc
  conf-linux-libc-dev.0                              07a14bf9b8b1
  conf-pkg-config.5                                  918c1ea9acfc
  coq.9.0.1                                          00e6b5472dfd
  coq-core.9.0.1                                     ae0cfbd60af3
  coq-stdlib.9.0.0                                   ce1780fc9da6
  coqide-server.9.0.1                                a6825d9d3e88
  dune.3.23.1                                        a218d584f2c1
  ocaml.5.4.1                                        b3861fbf0f16
  ocaml-base-compiler.5.4.1                          e4433a222b47
  ocaml-compiler.5.4.1                               542fe5798f3a
  ocaml-config.3                                     1f4eb3138f4d
  ocamlfind.1.9.8                                    baebba3d8733
  rocq-core.9.0.1                                    ccf438916825
  rocq-prover.9.0.0                                  f7803cb21e98
  rocq-runtime.9.0.1                                 722510598704
  rocq-stdlib.9.0.0                                  1f5dbb6a8e23
  zarith.1.14                                        1b667ecee927
=== STDOUT ===
Processing: [default: loading data]
[rocq-waterproof.3.1.1+9.0: dl]
[rocq-waterproof.3.1.1+9.0: http]
[rocq-waterproof.3.1.1+9.0: extract]
-> retrieved rocq-waterproof.3.1.1+9.0  (https://github.com/impermeable/rocq-waterproof/archive/refs/tags/3.1.1+9.0.tar.gz)
[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.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.1+9.0
-> compiled  rocq-waterproof.3.1.1+9.0
-> installed rocq-waterproof.3.1.1+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-11-07 21:32.11: OK: build rocq-waterproof.3.1.1+9.0 (runc: 106.7s, disk: 11KB)
2026-11-07 21:32.11: Job succeeded