2026-07-15 01:04.34: New job: build frama-c-metacsl.0.10~beta (574bcb61ae29)
2026-07-15 01:04.34: Waiting for resource in pool day11-builds
2026-07-15 01:19.07: Got resource from pool day11-builds
2026-07-15 01:19.07: [profile full] build frama-c-metacsl.0.10~beta
2026-07-15 01:19.07: build frama-c-metacsl.0.10~beta (574bcb61ae29)
=== DEPENDENCIES (88 transitive) ===
  alt-ergo-free.2.4.3                                3cf4d65a9a8e
  astring.0.8.5                                      4fc85b1b7986
  base.v0.17.3                                       928b3f2cfcba
  base-bigarray.base                                 e774a4d8d0a0
  base-threads.base                                  afe16a8e71c3
  base-unix.base                                     73c0a5fdd34a
  bos.0.3.0                                          1c3d52935798
  cairo2.0.6.5                                       eee5c01e4ea6
  camlp-streams.5.0.1                                d22e6ef4345d
  camlzip.1.14                                       1d3ae71a4f93
  cmdliner.1.3.0                                     6bb6a1f5e657
  compiler-cloning.enabled                           22a431860256
  conf-autoconf.0.2                                  c64eba8be016
  conf-cairo.1                                       b751034c3f7a
  conf-gmp.5                                         be8168159001
  conf-gtk3.18                                       00c670ac1168
  conf-gtksourceview3.0+2                            4ca52a192663
  conf-pkg-config.5                                  2c611009363a
  conf-zlib.1                                        9b96a8154eb2
  cppo.1.8.0                                         19ed96b343e4
  csexp.1.5.2                                        c51fe74893e6
  ctypes.0.24.0                                      d1b6e1b6c577
  dune.3.23.1                                        35f447c7d83d
  dune-build-info.3.23.1                             0420e36acee8
  dune-configurator.3.23.1                           98a576cec017
  dune-private-libs.3.23.1                           3c96c04a81a7
  dune-site.3.23.1                                   1300fffcafae
  dyn.3.23.1                                         8be46ee2253c
  fmt.0.11.0                                         6ce7efe4fc2a
  fpath.0.7.3                                        ec9f6a68c75c
  frama-c.32.1                                       89b0c602d1a6
  fs-io.3.23.1                                       31eb03cb7535
  integers.0.8.0                                     a55c67cac51e
  jane-street-headers.v0.17.0                        1a095d4183ac
  jst-config.v0.17.0                                 5fa390577c59
  lablgtk3.3.1.5                                     0a684412efc7
  lablgtk3-sourceview3.3.1.5                         5ac80fc30d41
  logs.0.10.0                                        71033de95497
  menhir.20260209                                    dd57f16759f8
  menhirCST.20260209                                 8f90681bad67
  menhirGLR.20260209                                 5c31b822461f
  menhirLib.20260209                                 4cc76e2a9321
  menhirSdk.20260209                                 a650e6491824
  num.1.6                                            cf13c64d4950
  ocaml.5.5.0                                        7f4ed97746d4
  ocaml-base-compiler.5.5.0                          90499340edf4
  ocaml-compiler.5.5.0                               0ffda1968820
  ocaml-compiler-libs.v0.17.0                        f65aab99d6dc
  ocaml_intrinsics_kernel.v0.17.2                    3304ac5cf8d7
  ocamlbuild.0.16.1                                  699ceab44989
  ocamlfind.1.9.8                                    e349f5c7ccdf
  ocamlgraph.2.2.0                                   a126e3d66189
  ocplib-simplex.0.4.1                               8556a2565e63
  ordering.3.23.1                                    b863ab2aeadd
  pp.2.0.0                                           344407128077
  ppx_assert.v0.17.0                                 0d21c1c7be41
  ppx_base.v0.17.0                                   3c9d771c3e0b
  ppx_cold.v0.17.0                                   18db8bb68243
  ppx_compare.v0.17.0                                67ef4316321d
  ppx_derivers.1.2.1                                 f8f6e63e0551
  ppx_deriving.6.1.2                                 56df11c4ea2d
  ppx_deriving_yaml.0.4.1                            ed68ccd8acf6
  ppx_deriving_yojson.3.10.0                         b3239a7fc790
  ppx_enumerate.v0.17.0                              66f402ae3c0c
  ppx_globalize.v0.17.2                              c263528b74e6
  ppx_hash.v0.17.0                                   07d9e1adcaa5
  ppx_here.v0.17.0                                   c9deeb218799
  ppx_inline_test.v0.17.1                            1293faa0943a
  ppx_optcomp.v0.17.1                                cbc8ee6d49bf
  ppx_sexp_conv.v0.17.1                              f9e90badb77a
  ppxlib.0.38.0                                      3f9ace607678
  ppxlib_jane.v0.17.4                                9a7cb0121e17
  psmt2-frontend.0.4.0                               99abdfdac0b1
  rresult.0.7.0                                      cfbf7e163190
  seq.base                                           43b2adc9a54d
  sexplib0.v0.17.0                                   f1aa6d79f039
  stdio.v0.17.0                                      195f34a9c4fa
  stdlib-shims.0.3.0                                 f64dc9eaf884
  stdune.3.23.1                                      447c9d533b52
  store.0.2                                          0c1c7f14bf9c
  time_now.v0.17.0                                   b2f635ff8061
  top-closure.3.23.1                                 10bfdb610ed6
  topkg.1.1.1                                        903545d11ff9
  unionFind.20260226                                 41be9d749580
  why3.1.8.2                                         d8a370f1b8da
  yaml.3.2.0                                         6fec7f6b6d1c
  yojson.3.0.0                                       494a9ee14174
  zarith.1.14                                        a92a3d0a3bd5
=== 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.0.2, 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.0.2: 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-07-15 01:19.16: OK: build frama-c-metacsl.0.10~beta (runc: 5.3s, disk: 16KB)
2026-07-15 01:19.16: Job succeeded