Build:
- 0
2026-09-04 00:45.38: New job: build frama-c-metacsl.0.9~beta (c675ac67f6a7) 2026-09-04 00:45.38: Waiting for resource in pool day11-builds 2026-09-04 01:03.13: Got resource from pool day11-builds 2026-09-04 01:03.13: [profile full] build frama-c-metacsl.0.9~beta 2026-09-04 01:03.13: build frama-c-metacsl.0.9~beta (c675ac67f6a7) === DEPENDENCIES (70 transitive) === alt-ergo-free.2.4.3 03cb52299a38 astring.0.8.5 51ee6d00b649 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.31.0 90219d2b9524 fs-io.3.23.1 28022d5f2bf6 integers.0.8.0 df82a7956cfb 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 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_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 ppxlib.0.38.0 405e00241d0e psmt2-frontend.0.4.0 82412609a964 rresult.0.7.0 02fffb5a5b61 seq.base 28d30f6112ac sexplib0.v0.17.0 fc2a4c3c285a stdlib-shims.0.3.0 4b8bb9fd1930 stdune.3.23.1 df0025775c47 store.0.2 0eeea1ad8f15 top-closure.3.23.1 60a0070a1b97 topkg.1.1.1 3bd227743fbd unionFind.20260226 5773440d0758 why3.1.8.2 9ff1176f8e5d yaml.3.2.0 3adbd50ed799 yojson.3.0.0 c8d24a097bd0 zarith.1.14 bd527d6656b5 === STDOUT === Processing: [default: loading data] [frama-c-metacsl.0.9~beta: dl] [frama-c-metacsl.0.9~beta: extract] -> retrieved frama-c-metacsl.0.9~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.9~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.9~beta) -> compiled frama-c-metacsl.0.9~beta -> installed frama-c-metacsl.0.9~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:03.30: OK: build frama-c-metacsl.0.9~beta (runc: 7.6s, disk: 14KB) 2026-09-04 01:03.30: Job succeeded