Build:
- 0
2026-06-24 18:24.50: New job: build alt-ergo-parsers.2.6.1 (6744dbcda1f8) 2026-06-24 18:24.50: Waiting for resource in pool day11-builds 2026-06-24 18:55.03: Got resource from pool day11-builds 2026-06-24 18:55.03: [profile full] build alt-ergo-parsers.2.6.1 2026-06-24 18:55.03: build alt-ergo-parsers.2.6.1 (6744dbcda1f8) === DEPENDENCIES (42 transitive) === alt-ergo-lib.2.6.1 9799bb7592c7 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb camlzip.1.14 c2782e3aa311 compiler-cloning.enabled 439a1fc77aa6 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 conf-zlib.1 5297f1b9477f cppo.1.8.0 deac69f17b6b dolmen.0.10 d162e3c51db9 dolmen_loop.0.10 ba80110b5d51 dolmen_type.0.10 d0143d2ecd8f dune.3.23.1 a59dd9b14fe3 dune-build-info.3.23.1 58d3aa1b6510 fmt.0.11.0 a00e65adfdb2 gen.1.1 c6b3c20b34bd hmap.0.8.1 76a9897dfcb8 logs.0.10.0 f87585443699 menhir.20250912 1aadfcc15894 menhirCST.20250912 fffb96f2d0ee menhirLib.20250912 56d822e8fe13 menhirSdk.20250912 70cefb6a0a30 ocaml.5.5.0 383268832c4b ocaml-base-compiler.5.5.0 522c248944c8 ocaml-compiler.5.5.0 eb1a8babf54c ocaml-compiler-libs.v0.17.0 d66bf6efa323 ocamlbuild.0.16.1 e57f00093c6a ocamlfind.1.9.8 b506a15fcd6c ocplib-simplex.0.5.1 bcd13b6b95ff pp_loc.2.1.0 9769a09f796a ppx_blob.0.9.0 45f1ecc89f09 ppx_derivers.1.2.1 82026aa8af61 ppx_deriving.6.1.1 250b28880637 ppxlib.0.38.0 2aa2dfbf252b psmt2-frontend.0.4.0 a5686a0c4d9d seq.base 8e8202906505 sexplib0.v0.17.0 166f8102230b spelll.0.4 543326e17b2d stdlib-shims.0.3.0 e7f8a4f187fa topkg.1.1.1 ac206dbbd2b6 uutf.1.0.4 4c8ac9e9daae zarith.1.14 c48bd7ff5430 === STDOUT === Processing: [default: loading data] [alt-ergo-parsers.2.6.1: extract] -> retrieved alt-ergo-parsers.2.6.1 (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.1) [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.1) -> compiled alt-ergo-parsers.2.6.1 -> installed alt-ergo-parsers.2.6.1 [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-06-24 18:55.37: OK: build alt-ergo-parsers.2.6.1 (runc: 8.1s, disk: 11KB) 2026-06-24 18:55.37: Job succeeded