Build:
- 0
2026-06-20 19:42.52: New job: build alt-ergo-parsers.2.6.0 (795364ec8005) 2026-06-20 19:42.52: Waiting for resource in pool day11-builds 2026-06-20 19:55.09: Got resource from pool day11-builds 2026-06-20 19:55.09: [profile full] build alt-ergo-parsers.2.6.0 2026-06-20 19:55.09: build alt-ergo-parsers.2.6.0 (795364ec8005) === DEPENDENCIES (42 transitive) === alt-ergo-lib.2.6.0 a6a42341c1d2 base-threads.base b7164ff76afe base-unix.base 839dc585f12d camlzip.1.14 1beb9e553a26 compiler-cloning.enabled 0d2606125f88 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b conf-zlib.1 6a8e9cb470aa cppo.1.8.0 2299340fea15 dolmen.0.10 ad1d554f0d17 dolmen_loop.0.10 f700a62ca820 dolmen_type.0.10 5fbd1ffa197b dune.3.23.1 dbfeecb5ca10 dune-build-info.3.23.1 35eaad0df7c6 fmt.0.11.0 13e83cd80bf7 gen.1.1 787733a0c943 hmap.0.8.1 149d1f8f7992 logs.0.10.0 fac801fbd78e menhir.20250912 3afc2b9dc7eb menhirCST.20250912 e45036de26a8 menhirLib.20250912 07d50c608e50 menhirSdk.20250912 aeb8f1f5e1db ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocaml-compiler-libs.v0.17.0 6373bfde8e91 ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd ocplib-simplex.0.5.1 4fecdacb638e pp_loc.2.1.0 dd4952b3f989 ppx_blob.0.9.0 2fb503bcf5ed ppx_derivers.1.2.1 2a3f00c1f6d2 ppx_deriving.6.1.1 f86af3c9f71e ppxlib.0.38.0 c01fe47fa7a4 psmt2-frontend.0.4.0 632af9ae5aa6 seq.base 1fbc0454e0be sexplib0.v0.17.0 313244870034 spelll.0.4 9c78d093cda6 stdlib-shims.0.3.0 9047e6396dc4 topkg.1.1.1 8e3718e4cf5c uutf.1.0.4 1318ab0da942 zarith.1.14 f91322a5735e === STDOUT === Processing: [default: loading data] [alt-ergo-parsers.2.6.0: extract] -> retrieved alt-ergo-parsers.2.6.0 (cached) [alt-ergo-parsers: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "alt-ergo-parsers" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-parsers.2.6.0) [alt-ergo-parsers: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "alt-ergo-parsers" "--create-install-files" "alt-ergo-parsers" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo-parsers.2.6.0) -> compiled alt-ergo-parsers.2.6.0 [WARNING] Opam packages conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: libgmp-dev zlib1g-dev - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev -> installed alt-ergo-parsers.2.6.0 === STDERR === 2026-06-20 19:55.33: OK: build alt-ergo-parsers.2.6.0 (runc: 11.1s, disk: 10KB) 2026-06-20 19:55.33: Job succeeded