2026-10-22 08:06.20: New job: build frama-c-metacsl.0.10~beta (fe80b99470ee)
2026-10-22 08:06.20: Waiting for resource in pool day11-builds
2026-10-22 08:30.11: Got resource from pool day11-builds
2026-10-22 08:30.11: [profile full] build frama-c-metacsl.0.10~beta
2026-10-22 08:30.12: build frama-c-metacsl.0.10~beta (fe80b99470ee)
=== DEPENDENCIES (88 transitive) ===
  alt-ergo-free.2.4.3                                1d316f873b4f
  astring.0.8.5                                      a06b5a05d23a
  base.v0.17.3                                       d8bf4a8cb3ae
  base-bigarray.base                                 af90e15e33c9
  base-threads.base                                  ca51096a9c5b
  base-unix.base                                     88a83b7ed333
  bos.0.3.0                                          a2498b1cbedd
  cairo2.0.6.5                                       6e8ab3db31a0
  camlp-streams.5.0.1                                8849d91ff0e5
  camlzip.1.14                                       fc094076331b
  cmdliner.1.3.0                                     4a977b5562c9
  compiler-cloning.enabled                           1aa529c962c5
  conf-autoconf.1                                    5ab3ab11f357
  conf-cairo.1                                       86f959ec30fa
  conf-gmp.5                                         d0211a82c71f
  conf-gtk3.18                                       af2b3a6823e6
  conf-gtksourceview3.0+2                            198996bbebc5
  conf-pkg-config.5                                  26be2768a637
  conf-zlib.1                                        1bee7a3e7aa2
  cppo.1.8.0                                         819fd544f651
  csexp.1.5.2                                        0aae5608236f
  ctypes.0.24.0                                      db1a13e19a52
  dune.3.23.1                                        00478a449154
  dune-build-info.3.23.1                             0d4826361711
  dune-configurator.3.23.1                           12b496a11584
  dune-private-libs.3.23.1                           5cd76d51095d
  dune-site.3.23.1                                   1664585de7f1
  dyn.3.23.1                                         45128c30a772
  fmt.0.11.0                                         76c83f0943a6
  fpath.0.7.3                                        f2addfc5a938
  frama-c.32.1                                       a285c09497e2
  fs-io.3.23.1                                       1f6ac1c6f9b2
  integers.0.8.0                                     6d6ae1e80851
  jane-street-headers.v0.17.0                        e5be5e09dca5
  jst-config.v0.17.0                                 fcbcdf201687
  lablgtk3.3.1.5                                     65b842f47b9c
  lablgtk3-sourceview3.3.1.5                         00b0e66eb117
  logs.0.10.0                                        395e55b9109c
  menhir.20260209                                    0d8cde47dff1
  menhirCST.20260209                                 fa3acbbd3f65
  menhirGLR.20260209                                 2b650b536ecc
  menhirLib.20260209                                 cd7362ff2966
  menhirSdk.20260209                                 e164658f32d1
  num.1.6                                            88845f95ceed
  ocaml.5.5.1                                        b4ae7c74216a
  ocaml-base-compiler.5.5.1                          cae593a5c5a1
  ocaml-compiler.5.5.1                               22179c97969c
  ocaml-compiler-libs.v0.17.0                        b29a82e2c102
  ocaml_intrinsics_kernel.v0.17.2                    f595bad061f5
  ocamlbuild.0.16.1                                  4352af4257a3
  ocamlfind.1.9.9~preview                            27baeb7469d0
  ocamlgraph.2.2.0                                   0548674a5d95
  ocplib-simplex.0.4.1                               c177eceb3dfc
  ordering.3.23.1                                    4750fe1ccdf5
  pp.2.0.0                                           3ec758ac5acf
  ppx_assert.v0.17.0                                 75c22183b2bb
  ppx_base.v0.17.0                                   71904c9ae365
  ppx_cold.v0.17.0                                   79112366262f
  ppx_compare.v0.17.0                                f577a9eb00d2
  ppx_derivers.1.2.1                                 4c40e90d0925
  ppx_deriving.6.2.0                                 3fd79878a040
  ppx_deriving_yaml.0.5.0                            338662a52d2b
  ppx_deriving_yojson.3.10.0                         195e278a4f53
  ppx_enumerate.v0.17.0                              8d7a18dfe8fb
  ppx_globalize.v0.17.2                              cf1b91c2da6f
  ppx_hash.v0.17.0                                   1e5c061f34b6
  ppx_here.v0.17.0                                   3de082f965ee
  ppx_inline_test.v0.17.1                            c59649464308
  ppx_optcomp.v0.17.1                                de4b42963d81
  ppx_sexp_conv.v0.17.1                              ce14f099638a
  ppxlib.0.39.0                                      59ce196e7193
  ppxlib_jane.v0.17.4                                baf19553e09c
  psmt2-frontend.0.4.0                               2aa631178e73
  rresult.0.7.0                                      9b69fb417afa
  seq.base                                           30a7c709b8c3
  sexplib0.v0.17.0                                   366314993a33
  stdio.v0.17.0                                      ce6ad531ede8
  stdlib-shims.0.3.0                                 785e5e5a5734
  stdune.3.23.1                                      a3017ca8958d
  store.0.2                                          a93429faec65
  time_now.v0.17.0                                   b53fe5d469b1
  top-closure.3.23.1                                 bb4f101ae296
  topkg.1.1.1                                        0676723358a8
  unionFind.20260226                                 34c1813be7fd
  why3.1.8.2                                         32d13610fd16
  yaml.3.2.0                                         80a30764f59a
  yojson.3.0.0                                       0dcb25d2352f
  zarith.1.14                                        bddddc68b0d9
=== 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-10-22 08:32.28: OK: build frama-c-metacsl.0.10~beta (runc: 50.8s, disk: 16KB)
2026-10-22 08:32.28: Job succeeded