2026-06-19 18:36.02: New job: build msat-bin.0.9.1 (60c0aaf807ad)
2026-06-19 18:36.02: Waiting for resource in pool day11-builds
2026-06-19 19:19.32: Got resource from pool day11-builds
2026-06-19 19:19.32: [profile full] build msat-bin.0.9.1
2026-06-19 19:19.32: build msat-bin.0.9.1 (60c0aaf807ad)
=== DEPENDENCIES (17 transitive) ===
  base-bigarray.base                                 dfc2a7e726c3
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  camlzip.1.14                                       867be95f9343
  conf-pkg-config.5                                  64c6b37d622b
  conf-zlib.1                                        6a8e9cb470aa
  containers.3.18                                    172545cbb835
  csexp.1.5.2                                        6a11fd34e537
  dune.3.23.1                                        b9e31df96092
  dune-configurator.3.23.1                           cdae849f232e
  either.1.0.0                                       b65a9e296180
  iter.1.9                                           4f99fbd1abff
  msat.0.9.1                                         6c4b22e37001
  ocaml.5.5.0                                        7bdffd2f55d9
  ocaml-base-compiler.5.5.0                          88ac983b1a28
  ocaml-compiler.5.5.0                               8d77bbea3746
  ocamlfind.1.9.8                                    1872268d1aec
=== STDOUT ===
Processing: [default: loading data]
[msat-bin.0.9.1: extract]
-> retrieved msat-bin.0.9.1  (cached)
[msat-bin: dune build]
+ /home/opam/.opam/default/bin/dune "build" "@install" "-p" "msat-bin" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/msat-bin.0.9.1)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/dimacs_lex.cmo -c -impl src/main/Dimacs_lex.ml)
- File "src/main/Dimacs_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/main.cmo -c -impl src/main/main.ml)
- File "src/main/main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled  msat-bin.0.9.1
-> installed msat-bin.0.9.1
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev

=== STDERR ===

2026-06-19 19:20.22: OK: build msat-bin.0.9.1 (runc: 3.1s, disk: 8KB)
2026-06-19 19:20.22: Job succeeded