2026-11-06 04:39.28: New job: build rocqide.9.3.0 (7f5a9bf78338)
2026-11-06 04:39.28: Waiting for resource in pool day11-builds
2026-11-06 06:07.10: Got resource from pool day11-builds
2026-11-06 06:07.10: [profile full] build rocqide.9.3.0
2026-11-06 06:07.10: build rocqide.9.3.0 (7f5a9bf78338)
=== DEPENDENCIES (26 transitive) ===
  base-bigarray.base                                 d76c7b762798
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  cairo2.0.6.5                                       aca6a131a241
  camlp-streams.5.0.1                                0866c65ec19b
  compiler-cloning.enabled                           656c3e8c82d2
  conf-adwaita-icon-theme.2                          0df3b5a04299
  conf-cairo.1                                       5f6a36c72b7b
  conf-findutils.1                                   97321b9d383f
  conf-gmp.5                                         5fdec896ddcc
  conf-gtk3.18                                       d6b4b69b6e2b
  conf-gtksourceview3.0+2                            0043aa55383d
  conf-linux-libc-dev.0                              07a14bf9b8b1
  conf-pkg-config.5                                  918c1ea9acfc
  coqide-server.9.3.0                                6332aa7bb674
  csexp.1.5.2                                        954067a5cbf9
  dune.3.23.1                                        9c86cc0672e8
  dune-configurator.3.23.1                           2e8bb64d1e30
  lablgtk3.3.1.5                                     283e8bdbfc3f
  lablgtk3-sourceview3.3.1.5                         1e408b49cd0a
  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-runtime.9.3.0                                 8ebd01348d01
  zarith.1.14                                        f815f6ef43c3
=== STDOUT ===
Processing: [default: loading data]
[rocqide.9.3.0: extract]
-> retrieved rocqide.9.3.0  (cached)
[rocqide: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "rocqide" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/rocqide.9.3.0)
-> compiled  rocqide.9.3.0
-> installed rocqide.9.3.0
[WARNING] Opam packages conf-adwaita-icon-theme.2, conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: adwaita-icon-theme libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev
  - conf-adwaita-icon-theme.2: depends on adwaita-icon-theme
  - conf-cairo.1: depends on libcairo2-dev
  - conf-gmp.5: depends on libgmp-dev
  - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
  - conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev

=== STDERR ===

2026-11-06 06:07.47: OK: build rocqide.9.3.0 (runc: 16.6s, disk: 9KB)
2026-11-06 06:07.47: Job succeeded