2025-07-07 14:44.11: New job: incremental solver v2
2025-07-07 14:44.11: Using opam-repository sha 310ef06ca5a2f6d9f9c9dcc0632ed56c4895f085
2025-07-07 14:44.19 [INFO] Solving for ocaml-base-compiler, ocaml,
                           setr using opam_repository_commit 310ef06ca5a2f6d9f9c9dcc0632ed56c4895f085
2025-07-07 14:44.46 [INFO] base: found solution in 0.21 s
2025-07-07 14:44.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           310ef06ca5a2f6d9f9c9dcc0632ed56c4895f085 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/cppo/cppo.1.8.0 packages/dune/dune.3.19.1
                           packages/mlbdd/mlbdd.0.7.3
                           packages/ocaml/ocaml.4.14.2
                           packages/ocaml-base-compiler/ocaml-base-compiler.4.14.2
                           packages/ocaml-config/ocaml-config.2
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocamlbuild/ocamlbuild.0.16.1
                           packages/ocamlfind/ocamlfind.1.9.8
                           packages/setr/setr.0.1.1
2025-07-07 14:44.46 [INFO] = base =
2025-07-07 14:44.46 [INFO] -> base-bigarray.base base-threads.base
                              base-unix.base cppo.1.8.0 dune.3.19.1
                              mlbdd.0.7.3 ocaml.4.14.2
                              ocaml-base-compiler.4.14.2 ocaml-config.2
                              ocaml-options-vanilla.1 ocamlbuild.0.16.1
                              ocamlfind.1.9.8 setr.0.1.1
2025-07-07 14:44.46 [INFO] (valid since opam-repository commit e274ff2a2a93002739638f8dac6a64bf1285f8ee)
2025-07-07 14:44.46: Solved: 4507 / New: 1 / Success: 1
2025-07-07 14:44.49: Job succeeded