Build:
- 0
2026-10-06 17:18.59: New job: build alt-ergo-parsers.2.6.4 (5ce766c74523) 2026-10-06 17:18.59: Waiting for resource in pool day11-builds 2026-10-06 17:20.11: Got resource from pool day11-builds 2026-10-06 17:20.11: [profile odoc-master-mini] build alt-ergo-parsers.2.6.4 2026-10-06 17:20.11: build alt-ergo-parsers.2.6.4 (5ce766c74523) === DEPENDENCIES (43 transitive) === alt-ergo-lib.2.6.4 92ce4ce2e5cd base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 camlzip.1.14 93e9f561c8a0 cmdliner.2.1.1 d4344297f7a3 compiler-cloning.enabled a13866103a7b conf-gmp.5 c2adbec9a470 conf-pkg-config.5 e39f7209b38f conf-zlib.1 ef4bfe5217f4 cppo.1.8.0 2b3dfd3df17b dolmen.0.10 611f3341a448 dolmen_loop.0.10 f2f7846a8356 dolmen_type.0.10 ab74fefc2c24 dune.3.24.2 99dad2c0d74f dune-build-info.3.24.2 cdb020c56c3d fmt.0.11.0 4efce47ea04c gen.1.1 74eb5a8aa1f1 hmap.0.8.1 6951d8fe13c0 logs.0.10.0 b8d525f63f8a menhir.20250912 961245545dfd menhirCST.20250912 209de07b28fd menhirLib.20250912 3f2ae16a7e08 menhirSdk.20250912 887d8b08b9af ocaml.5.5.1 3d940b39ad2d ocaml-base-compiler.5.5.1 5cf781414aed ocaml-compiler.5.5.1 9ea90032811f ocaml-compiler-libs.v0.17.0 36d946ae0c60 ocamlbuild.0.16.1 68333e4a0ef3 ocamlfind.1.9.9~preview 0f9da898bc9e ocplib-simplex.0.5.1 ba0c0344c629 pp_loc.2.1.0 b5fda817ba88 ppx_blob.0.9.0 65f116f281ad ppx_derivers.1.2.1 44a67ab5a411 ppx_deriving.6.2.0 295887e93aa3 ppxlib.0.38.0 f5a6af15f5bb psmt2-frontend.0.4.0 601057dc089c seq.base 4e10dd8ee191 sexplib0.v0.17.0 4ce90ffe3c98 spelll.0.4 dae9e6656827 stdlib-shims.0.3.0 d3a31a7e6bc1 topkg.1.1.1 52bd81f92c7a uutf.1.0.4 e75c0d8cb6d4 zarith.1.14 6c7ed2d54016 === STDOUT === Processing: [default: loading data] [alt-ergo-parsers.2.6.4: extract] -> retrieved alt-ergo-parsers.2.6.4 (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.4) [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.4) -> compiled alt-ergo-parsers.2.6.4 -> installed alt-ergo-parsers.2.6.4 [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 === STDERR === 2026-10-06 17:21.42: OK: build alt-ergo-parsers.2.6.4 (runc: 23.3s, disk: 11KB) 2026-10-06 17:21.42: Job succeeded