2026-06-16 14:33.31: New job: build msat-bin.0.8.3 (3c64d2d9c421)
2026-06-16 14:33.31: Waiting for resource in pool day11-builds
2026-06-16 16:17.50: Got resource from pool day11-builds
2026-06-16 16:17.50: [profile full] build msat-bin.0.8.3
2026-06-16 16:17.50: build msat-bin.0.8.3 (3c64d2d9c421)
=== DEPENDENCIES (18 transitive) ===
  base-bigarray.base                                 dfc2a7e726c3
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  camlzip.1.14                                       d9d16698ed9d
  conf-pkg-config.5                                  64c6b37d622b
  conf-zlib.1                                        6a8e9cb470aa
  containers.3.18                                    3dcc83e7bd40
  csexp.1.5.2                                        e2491a88a8e9
  dune.3.23.1                                        d50060dd2cab
  dune-configurator.3.23.1                           83dd42d9abe2
  either.1.0.0                                       b62682555e95
  iter.1.9                                           f365e4124b64
  msat.0.8.3                                         edafcd953d20
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
  ocamlfind.1.9.8                                    5cfa73ef65e7
=== STDOUT ===
Processing: [default: loading data]
[msat-bin.0.8.3: extract]
-> retrieved msat-bin.0.8.3  (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.8.3)
- (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.8.3
-> installed msat-bin.0.8.3
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev

=== STDERR ===

2026-06-16 16:17.59: OK: build msat-bin.0.8.3 (runc: 2.7s, disk: 8KB)
2026-06-16 16:17.59: Job succeeded