2026-11-06 09:20.01: New job: build frama-c-metacsl.0.10~beta (60ae5289318b)
2026-11-06 09:20.01: Waiting for resource in pool day11-builds
2026-11-06 09:54.30: Got resource from pool day11-builds
2026-11-06 09:54.30: [profile full] build frama-c-metacsl.0.10~beta
2026-11-06 09:54.30: build frama-c-metacsl.0.10~beta (60ae5289318b)
=== DEPENDENCIES (88 transitive) ===
  alt-ergo-free.2.4.3                                b2a46f9c69eb
  astring.0.8.5                                      183d0629d466
  base.v0.17.3                                       df95fc835e36
  base-bigarray.base                                 d76c7b762798
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  bos.0.3.0                                          bad654e10398
  cairo2.0.6.5                                       aca6a131a241
  camlp-streams.5.0.1                                0866c65ec19b
  camlzip.1.14                                       c61b69984e76
  cmdliner.1.3.0                                     c6a4cac95e89
  compiler-cloning.enabled                           656c3e8c82d2
  conf-autoconf.1                                    3137d14eaffd
  conf-cairo.1                                       5f6a36c72b7b
  conf-gmp.5                                         5fdec896ddcc
  conf-gtk3.18                                       d6b4b69b6e2b
  conf-gtksourceview3.0+2                            0043aa55383d
  conf-pkg-config.5                                  918c1ea9acfc
  conf-zlib.1                                        5f1d2d2856e8
  cppo.1.8.0                                         79a26af73ce9
  csexp.1.5.2                                        954067a5cbf9
  ctypes.0.24.0                                      cb639552dfdf
  dune.3.23.1                                        9c86cc0672e8
  dune-build-info.3.23.1                             566c362dcc73
  dune-configurator.3.23.1                           2e8bb64d1e30
  dune-private-libs.3.23.1                           16f69a697c6a
  dune-site.3.23.1                                   ab05eb06f121
  dyn.3.23.1                                         94718c54a8ae
  fmt.0.11.0                                         d0ccd68d6ac9
  fpath.0.7.3                                        fbf00c419b62
  frama-c.32.1                                       cf4e7622c682
  fs-io.3.23.1                                       98c8176626c2
  integers.0.8.0                                     2ad1b5295f53
  jane-street-headers.v0.17.0                        97e88ecaf040
  jst-config.v0.17.0                                 34de66056830
  lablgtk3.3.1.5                                     283e8bdbfc3f
  lablgtk3-sourceview3.3.1.5                         1e408b49cd0a
  logs.0.10.0                                        0fc76bf4858a
  menhir.20260209                                    2dda8ef3f7ea
  menhirCST.20260209                                 43c258620573
  menhirGLR.20260209                                 7c36bc620f2b
  menhirLib.20260209                                 16075cc981b2
  menhirSdk.20260209                                 669551834778
  num.1.6                                            c4b4a7f3ce17
  ocaml.5.5.2                                        fec8e2d43a6e
  ocaml-base-compiler.5.5.2                          ef85578d279b
  ocaml-compiler.5.5.2                               2759c28bbd03
  ocaml-compiler-libs.v0.17.0                        92c829263696
  ocaml_intrinsics_kernel.v0.17.3                    59828c922f12
  ocamlbuild.0.16.1                                  72dd90b12cc0
  ocamlfind.1.9.9~preview                            f6d4e7fc14b0
  ocamlgraph.2.2.0                                   d8f4c489ef2a
  ocplib-simplex.0.4.1                               633f7f3d3378
  ordering.3.23.1                                    e8d62f292448
  pp.2.0.0                                           5d0e89885a34
  ppx_assert.v0.17.0                                 082a7a562c86
  ppx_base.v0.17.0                                   aeaa37ca779c
  ppx_cold.v0.17.0                                   a79a45577e6e
  ppx_compare.v0.17.0                                423d67dbab16
  ppx_derivers.1.2.1                                 03002d2f3fc0
  ppx_deriving.6.2.0                                 5822d85e9f85
  ppx_deriving_yaml.0.5.0                            6c9e1d4bff9b
  ppx_deriving_yojson.3.10.0                         739b0e0af761
  ppx_enumerate.v0.17.0                              1d851fda3780
  ppx_globalize.v0.17.2                              b5a665d513aa
  ppx_hash.v0.17.0                                   c729f11bcce3
  ppx_here.v0.17.0                                   e34f5e4a5946
  ppx_inline_test.v0.17.1                            caad52c319ee
  ppx_optcomp.v0.17.1                                1c542ae0e346
  ppx_sexp_conv.v0.17.1                              9f7d7f26123e
  ppxlib.0.39.0                                      5a019ed23d09
  ppxlib_jane.v0.17.4                                d37269e7b526
  psmt2-frontend.0.4.0                               e7dbaf635b8e
  rresult.0.7.0                                      d2568056b761
  seq.base                                           f11222a9db6a
  sexplib0.v0.17.0                                   40e19e8f4f72
  stdio.v0.17.0                                      e6ad30512426
  stdlib-shims.0.3.0                                 212e676753aa
  stdune.3.23.1                                      d4b94e4c2760
  store.0.2                                          5eb84b665c55
  time_now.v0.17.0                                   2d7e5af58714
  top-closure.3.23.1                                 44804e243a60
  topkg.1.1.1                                        aa4302b13957
  unionFind.20260226                                 2d9d9e0673b9
  why3.1.8.2                                         02fa6ffc4993
  yaml.3.2.0                                         82d3bbca5e4b
  yojson.3.0.0                                       38da1748865e
  zarith.1.14                                        f815f6ef43c3
=== 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-11-06 09:55.54: OK: build frama-c-metacsl.0.10~beta (runc: 34.4s, disk: 16KB)
2026-11-06 09:55.54: Job succeeded