2026-06-20 17:18.55: New job: build msat-bin.0.9.1 (6430dc8d91de)
2026-06-20 17:18.55: Waiting for resource in pool day11-builds
2026-06-20 18:49.54: Got resource from pool day11-builds
2026-06-20 18:49.54: [profile full] build msat-bin.0.9.1
2026-06-20 18:49.54: build msat-bin.0.9.1 (6430dc8d91de)
=== DEPENDENCIES (18 transitive) ===
  base-bigarray.base                                 dfc2a7e726c3
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  camlzip.1.14                                       1beb9e553a26
  compiler-cloning.enabled                           0d2606125f88
  conf-pkg-config.5                                  64c6b37d622b
  conf-zlib.1                                        6a8e9cb470aa
  containers.3.18                                    8cf13cd09f05
  csexp.1.5.2                                        315ecef51574
  dune.3.23.1                                        dbfeecb5ca10
  dune-configurator.3.23.1                           8afe79196456
  either.1.0.0                                       f710a2c06f5b
  iter.1.9                                           6bd78bc2cd2a
  msat.0.9.1                                         82b6887ceccf
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
  ocamlfind.1.9.8                                    5b46f9d92bbd
=== 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-20 18:50.04: OK: build msat-bin.0.9.1 (runc: 3.1s, disk: 8KB)
2026-06-20 18:50.04: Job succeeded