2026-09-04 01:19.04: New job: build frama-c-metacsl.0.10~beta (0ca0ba9d422d)
2026-09-04 01:19.04: Waiting for resource in pool day11-builds
2026-09-04 01:31.30: Got resource from pool day11-builds
2026-09-04 01:31.30: [profile full] build frama-c-metacsl.0.10~beta
2026-09-04 01:31.30: build frama-c-metacsl.0.10~beta (0ca0ba9d422d)
=== DEPENDENCIES (88 transitive) ===
  alt-ergo-free.2.4.3                                03cb52299a38
  astring.0.8.5                                      51ee6d00b649
  base.v0.17.3                                       557ca62cd4de
  base-bigarray.base                                 31ac6860ef52
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  bos.0.3.0                                          32083f292088
  cairo2.0.6.5                                       96e833163d91
  camlp-streams.5.0.1                                c3ef1cb475af
  camlzip.1.14                                       55fbe9282a52
  cmdliner.1.3.0                                     c8a741506821
  compiler-cloning.enabled                           966a2e6839f0
  conf-autoconf.1                                    788c5c60b51c
  conf-cairo.1                                       9e32499642c2
  conf-gmp.5                                         eac5259e412f
  conf-gtk3.18                                       29bc2ce5fb33
  conf-gtksourceview3.0+2                            89f7273ce96d
  conf-pkg-config.5                                  74f50f3cfe72
  conf-zlib.1                                        26591fa9352c
  cppo.1.8.0                                         6e5c0658a51b
  csexp.1.5.2                                        260623ea9e35
  ctypes.0.24.0                                      e2bbf2e49a00
  dune.3.23.1                                        299ed55d2ff2
  dune-build-info.3.23.1                             a53079b5e3c9
  dune-configurator.3.23.1                           654300934c6c
  dune-private-libs.3.23.1                           03ae3f1bfd48
  dune-site.3.23.1                                   c4817b998ba6
  dyn.3.23.1                                         eb35b776660f
  fmt.0.11.0                                         473393a87136
  fpath.0.7.3                                        2344c0b7c451
  frama-c.32.1                                       37c03515c468
  fs-io.3.23.1                                       28022d5f2bf6
  integers.0.8.0                                     df82a7956cfb
  jane-street-headers.v0.17.0                        4894d5b26c21
  jst-config.v0.17.0                                 08680bad8b9c
  lablgtk3.3.1.5                                     dce471c41142
  lablgtk3-sourceview3.3.1.5                         04d55b4be1a4
  logs.0.10.0                                        b7bdf8f44e3b
  menhir.20260209                                    80db00c01209
  menhirCST.20260209                                 9be95af76a2c
  menhirGLR.20260209                                 f4b521b63b24
  menhirLib.20260209                                 b795f09656c7
  menhirSdk.20260209                                 84c1ed629873
  num.1.6                                            805d35561ae4
  ocaml.5.5.0                                        22ebd7932512
  ocaml-base-compiler.5.5.0                          db1659234e8a
  ocaml-compiler.5.5.0                               7f52fb26d939
  ocaml-compiler-libs.v0.17.0                        0f497c1821f6
  ocaml_intrinsics_kernel.v0.17.2                    093b9515d104
  ocamlbuild.0.16.1                                  ccce18256717
  ocamlfind.1.9.9~preview                            6a4c70487cf9
  ocamlgraph.2.2.0                                   f2c1d53656b8
  ocplib-simplex.0.4.1                               2349c442e6d4
  ordering.3.23.1                                    d34f9d308794
  pp.2.0.0                                           5591e305a2c8
  ppx_assert.v0.17.0                                 8d2b5c06b520
  ppx_base.v0.17.0                                   a984aec602c4
  ppx_cold.v0.17.0                                   b24cfa6ebe90
  ppx_compare.v0.17.0                                2f25f06b598e
  ppx_derivers.1.2.1                                 27cf4bb4e249
  ppx_deriving.6.1.3                                 5511d8887566
  ppx_deriving_yaml.0.4.1                            cbf21e9cbc63
  ppx_deriving_yojson.3.10.0                         a285a0a78d2c
  ppx_enumerate.v0.17.0                              24a2cf2e3ca0
  ppx_globalize.v0.17.2                              2bd043faa7d8
  ppx_hash.v0.17.0                                   7ec27098d91b
  ppx_here.v0.17.0                                   9b7f9878a8b3
  ppx_inline_test.v0.17.1                            ed883310ea85
  ppx_optcomp.v0.17.1                                fca26ca6d7df
  ppx_sexp_conv.v0.17.1                              4f0b27a23d07
  ppxlib.0.38.0                                      405e00241d0e
  ppxlib_jane.v0.17.4                                c0ce3a1ee66a
  psmt2-frontend.0.4.0                               82412609a964
  rresult.0.7.0                                      02fffb5a5b61
  seq.base                                           28d30f6112ac
  sexplib0.v0.17.0                                   fc2a4c3c285a
  stdio.v0.17.0                                      b6b43a86b98d
  stdlib-shims.0.3.0                                 4b8bb9fd1930
  stdune.3.23.1                                      df0025775c47
  store.0.2                                          0eeea1ad8f15
  time_now.v0.17.0                                   71af18074eac
  top-closure.3.23.1                                 60a0070a1b97
  topkg.1.1.1                                        3bd227743fbd
  unionFind.20260226                                 5773440d0758
  why3.1.8.2                                         90816fc44695
  yaml.3.2.0                                         3adbd50ed799
  yojson.3.0.0                                       c8d24a097bd0
  zarith.1.14                                        bd527d6656b5
=== STDOUT ===
Processing: [default: loading data]
[frama-c-metacsl.0.10~beta: dl]
[frama-c-metacsl.0.10~beta: extract]
-> retrieved frama-c-metacsl.0.10~beta  (https://opam.ocaml.org/cache)
[frama-c-metacsl: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "frama-c-metacsl" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-metacsl.0.10~beta)
[frama-c-metacsl: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "frama-c-metacsl" "--create-install-files" "frama-c-metacsl" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-metacsl.0.10~beta)
-> compiled  frama-c-metacsl.0.10~beta
-> installed frama-c-metacsl.0.10~beta
[WARNING] Opam packages conf-autoconf.1, conf-cairo.1, conf-gmp.5, conf-gtk3.18, conf-gtksourceview3.0+2 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev zlib1g-dev
  - conf-autoconf.1: depends on autoconf
  - 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
  - conf-zlib.1: depends on zlib1g-dev

=== STDERR ===

2026-09-04 01:31.41: OK: build frama-c-metacsl.0.10~beta (runc: 6.1s, disk: 16KB)
2026-09-04 01:31.41: Job succeeded