Build:
- 1
- 0
2026-08-17 20:41.00: New job: build frama-c-luncov.0.2.6 (30ddb49bd24f) 2026-08-17 20:41.00: [profile full] build frama-c-luncov.0.2.6 2026-08-17 20:41.05: build frama-c-luncov.0.2.6 (30ddb49bd24f) === DEPENDENCIES (80 transitive) === alt-ergo-free.2.4.3 d367f582726a astring.0.8.5 0b4f9bcd9c3e base.v0.17.3 97803f027eed base-threads.base 4e0218232a65 base-unix.base 2d2c0bf34146 bos.0.3.0 3099c6c23c98 camlzip.1.14 b1c07e673658 cmdliner.1.3.0 c2f0be446b09 compiler-cloning.enabled 645922735998 conf-autoconf.0.2 3f14bec6c2fc conf-gmp.5 a6b4a9039f5d conf-pkg-config.5 4a77ab8734e0 conf-zlib.1 1afa441829d8 cppo.1.8.0 c75d5aca684f csexp.1.5.2 ddbe24786709 ctypes.0.24.0 900ed4336b51 dune.3.24.2 1e5f2fe7e8cc dune-build-info.3.24.2 bb88a76a9fe6 dune-configurator.3.24.2 023c240b9537 dune-private-libs.3.24.2 4e11e8877230 dune-site.3.24.2 0d238b427daa dyn.3.24.2 28bec0da6c4c fmt.0.11.0 b259c1021169 fpath.0.7.3 6b7f0d38e72f frama-c.33.0 96906aed4ec6 fs-io.3.24.2 3bb86a201ddf integers.0.8.0 1ad07401023c jane-street-headers.v0.17.0 b2d50de05942 jst-config.v0.17.0 c6a088965087 logs.0.10.0 3c0dc1464159 menhir.20260209 1305be0c1632 menhirCST.20260209 b709fddbf04d menhirGLR.20260209 27c16d09f5be menhirLib.20260209 9697856f833a menhirSdk.20260209 35815df0a701 num.1.6 7d24296ba7fe ocaml.5.5.0 07a9fea0affc ocaml-base-compiler.5.5.0 90119128ecb1 ocaml-compiler.5.5.0 6aaaaa99fb41 ocaml-compiler-libs.v0.17.0 39f118f5cebb ocaml_intrinsics_kernel.v0.17.2 bc43e9db9386 ocamlbuild.0.16.1 799d75b8313e ocamlfind.1.9.9~preview 851bbc5aa659 ocamlgraph.2.2.0 4ac00b2547a3 ocplib-simplex.0.4.1 b8ed317ddfff ordering.3.24.2 a21d83185fda pp.2.0.0 8f27678cfe8f ppx_assert.v0.17.0 7935c055dc90 ppx_base.v0.17.0 8d9048bf383c ppx_cold.v0.17.0 423b27206918 ppx_compare.v0.17.0 04f9c20d3323 ppx_derivers.1.2.1 739fcf4a29eb ppx_deriving.6.1.3 d5a133e569af ppx_deriving_yaml.0.4.1 a844b1dbbcfd ppx_deriving_yojson.3.10.0 1902e14e985a ppx_enumerate.v0.17.0 6b47e506dd77 ppx_globalize.v0.17.2 22db0c4dffab ppx_hash.v0.17.0 11eac2004cef ppx_here.v0.17.0 76b2bf58acdb ppx_inline_test.v0.17.1 9d5daf34dcf1 ppx_optcomp.v0.17.1 d53a0d7ceb74 ppx_sexp_conv.v0.17.1 48eadaa3ccd2 ppxlib.0.38.0 d61d3795fb61 ppxlib_jane.v0.17.4 5fb9ae76fe59 psmt2-frontend.0.4.0 e8edb48c28d1 rresult.0.7.0 ccf2113ddd02 seq.base e32f546c1603 sexplib0.v0.17.0 937fe10686a3 stdio.v0.17.0 6a2b7d99d720 stdlib-shims.0.3.0 e988f750ed71 stdune.3.24.2 7b17f23304b0 store.0.2 bca904f107bb time_now.v0.17.0 09bd7cf27f93 top-closure.3.24.2 2d38ab3d168b topkg.1.1.1 b3532e45bdee unionFind.20260226 814da79c0ec2 why3.1.8.2 d1392c11191f yaml.3.2.0 0ce5f7a8cefc yojson.3.0.0 222194ef0eca zarith.1.14 aa1d137e90d7 === STDOUT === Processing: [default: loading data] [frama-c-luncov.0.2.6: dl] [frama-c-luncov.0.2.6: http] [frama-c-luncov.0.2.6: extract] -> retrieved frama-c-luncov.0.2.6 (https://git.frama-c.com/pub/ltest/luncov/-/archive/0.2.6/luncov-0.2.6.tar.bz2) [frama-c-luncov: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "frama-c-luncov" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-luncov.0.2.6) [frama-c-luncov: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "frama-c-luncov" "--create-install-files" "frama-c-luncov" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-luncov.0.2.6) -> compiled frama-c-luncov.0.2.6 -> installed frama-c-luncov.0.2.6 [WARNING] Opam packages conf-autoconf.0.2, conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libgmp-dev zlib1g-dev - conf-autoconf.0.2: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-08-17 20:41.42: OK: build frama-c-luncov.0.2.6 (runc: 14.7s, disk: 15KB) 2026-08-17 20:41.42: Job succeeded