2026-10-06 17:21.42: New job: build alt-ergo.2.6.4 (1b0177841fa0)
2026-10-06 17:21.42: Waiting for resource in pool day11-builds
2026-10-06 17:22.41: Got resource from pool day11-builds
2026-10-06 17:22.41: [profile odoc-master-mini] build alt-ergo.2.6.4
2026-10-06 17:22.41: build alt-ergo.2.6.4 (1b0177841fa0)
=== DEPENDENCIES (53 transitive) ===
  alt-ergo-lib.2.6.4                                 92ce4ce2e5cd
  alt-ergo-parsers.2.6.4                             5ce766c74523
  base-threads.base                                  464810371b96
  base-unix.base                                     4596d20d2cf7
  camlzip.1.14                                       93e9f561c8a0
  cmdliner.2.1.1                                     d4344297f7a3
  compiler-cloning.enabled                           a13866103a7b
  conf-gmp.5                                         c2adbec9a470
  conf-pkg-config.5                                  e39f7209b38f
  conf-zlib.1                                        ef4bfe5217f4
  cppo.1.8.0                                         2b3dfd3df17b
  csexp.1.5.2                                        b96efdeb2d5f
  dolmen.0.10                                        611f3341a448
  dolmen_loop.0.10                                   f2f7846a8356
  dolmen_type.0.10                                   ab74fefc2c24
  dune.3.24.2                                        99dad2c0d74f
  dune-build-info.3.24.2                             cdb020c56c3d
  dune-private-libs.3.24.2                           d0379afb186c
  dune-site.3.24.2                                   b1be78850591
  dyn.3.24.2                                         c5d2c71ea4cf
  fmt.0.11.0                                         4efce47ea04c
  fs-io.3.24.2                                       773f4d7f5418
  gen.1.1                                            74eb5a8aa1f1
  hmap.0.8.1                                         6951d8fe13c0
  logs.0.10.0                                        b8d525f63f8a
  menhir.20250912                                    961245545dfd
  menhirCST.20250912                                 209de07b28fd
  menhirLib.20250912                                 3f2ae16a7e08
  menhirSdk.20250912                                 887d8b08b9af
  ocaml.5.5.1                                        3d940b39ad2d
  ocaml-base-compiler.5.5.1                          5cf781414aed
  ocaml-compiler.5.5.1                               9ea90032811f
  ocaml-compiler-libs.v0.17.0                        36d946ae0c60
  ocamlbuild.0.16.1                                  68333e4a0ef3
  ocamlfind.1.9.9~preview                            0f9da898bc9e
  ocplib-simplex.0.5.1                               ba0c0344c629
  ordering.3.24.2                                    374bb3d62956
  pp.2.0.0                                           a5cbef7084cf
  pp_loc.2.1.0                                       b5fda817ba88
  ppx_blob.0.9.0                                     65f116f281ad
  ppx_derivers.1.2.1                                 44a67ab5a411
  ppx_deriving.6.2.0                                 295887e93aa3
  ppxlib.0.38.0                                      f5a6af15f5bb
  psmt2-frontend.0.4.0                               601057dc089c
  seq.base                                           4e10dd8ee191
  sexplib0.v0.17.0                                   4ce90ffe3c98
  spelll.0.4                                         dae9e6656827
  stdlib-shims.0.3.0                                 d3a31a7e6bc1
  stdune.3.24.2                                      c5dc985f5123
  top-closure.3.24.2                                 d158c80b1dbd
  topkg.1.1.1                                        52bd81f92c7a
  uutf.1.0.4                                         e75c0d8cb6d4
  zarith.1.14                                        6c7ed2d54016
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo.2.6.4: extract]
-> retrieved alt-ergo.2.6.4  (cached)
[alt-ergo: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "alt-ergo" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.6.4)
[alt-ergo: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "alt-ergo" "--create-install-files" "alt-ergo" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.6.4)
-> compiled  alt-ergo.2.6.4
-> installed alt-ergo.2.6.4
[WARNING] Opam packages conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: libgmp-dev zlib1g-dev
  - conf-gmp.5: depends on libgmp-dev
  - conf-zlib.1: depends on zlib1g-dev

=== STDERR ===

2026-10-06 17:23.32: OK: build alt-ergo.2.6.4 (runc: 7.7s, disk: 12KB)
2026-10-06 17:23.32: Job succeeded