2026-06-23 16:53.53: New job: build binsec.0.4.1 (ef73284a9b98)
2026-06-23 16:53.53: Waiting for resource in pool day11-builds
2026-06-23 18:23.58: Got resource from pool day11-builds
2026-06-23 18:23.58: [profile full] build binsec.0.4.1
2026-06-23 18:23.58: build binsec.0.4.1 (ef73284a9b98)
=== DEPENDENCIES (23 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-gmp.5                                         61e3c79e0ddf
  conf-pkg-config.5                                  4b60827fc174
  csexp.1.5.2                                        ec63db2dab31
  dune.3.23.1                                        5402470d931c
  dune-private-libs.3.23.1                           c16cf28d7d13
  dune-site.3.23.1                                   cbc187aaca46
  dyn.3.23.1                                         e5561c8a8690
  fs-io.3.23.1                                       f4ff16bec1f6
  menhir.20211128                                    58c4ad093048
  menhirLib.20211128                                 581f36ec2b3c
  menhirSdk.20211128                                 ba9fa85c2874
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
  ocamlgraph.2.2.0                                   ffe2e581e49b
  ordering.3.23.1                                    2cd0c0f186b7
  pp.2.0.0                                           e9675c1d094b
  stdune.3.23.1                                      0684573a47aa
  top-closure.3.23.1                                 d4de8fb0f42a
  zarith.1.14                                        da8b932acb94
=== STDOUT ===
Processing: [default: loading data]
[binsec.0.4.1: dl]
[binsec.0.4.1: extract]
-> retrieved binsec.0.4.1  (https://opam.ocaml.org/cache)
[binsec: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "binsec" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.4.1)
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/smtlib/smtlib_parser.mly --base src/smtlib/smtlib_parser --infer-read-reply src/smtlib/smtlib_parser__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 9 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/dbacsl_parser.mly --base src/parser/dbacsl_parser --infer-read-reply src/parser/dbacsl_parser__mock.mli.inferred)
- Warning: 7 states have shift/reduce conflicts.
- Warning: 94 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-read-reply src/parser/parser__mock.mli.inferred)
- Warning: 4 states have shift/reduce conflicts.
- Warning: 4 shift/reduce conflicts were arbitrarily resolved.
-> compiled  binsec.0.4.1
-> installed binsec.0.4.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-23 18:30.55: OK: build binsec.0.4.1 (runc: 157.4s, disk: 9KB)
2026-06-23 18:30.55: Job succeeded