2026-05-29 09:24.50: New job: incremental solver v2
2026-05-29 09:24.50: Using opam-repository sha d6a960ed9546a4e300916f0f19e962c1cd3ab855
2026-05-29 09:24.54 [INFO] Solving for ocaml-base-compiler,
smtml, constraints ocaml-base-compiler<=5.4.0,
smtml=0.28.0 using opam_repository_commit d6a960ed9546a4e300916f0f19e962c1cd3ab855
2026-05-29 09:25.28 [INFO] base: found solution in 0.22 s
2026-05-29 09:25.28 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
d6a960ed9546a4e300916f0f19e962c1cd3ab855 --
packages/zarith/zarith.1.14
packages/yojson/yojson.3.0.0
packages/uutf/uutf.1.0.4 packages/uucp/uucp.17.0.0
packages/uring/uring.2.7.0
packages/tyxml/tyxml.4.6.0
packages/topkg/topkg.1.1.1
packages/top-closure/top-closure.3.23.1
packages/thread-table/thread-table.1.0.0
packages/terminal/terminal.0.5.0
packages/swhid_core/swhid_core.0.1
packages/stdune/stdune.3.23.1
packages/stdlib-shims/stdlib-shims.0.3.0
packages/spelll/spelll.0.4
packages/smtml/smtml.0.28.0
packages/sherlodoc/sherlodoc.3.2.1
packages/sha/sha.1.15.4
packages/sexplib0/sexplib0.v0.17.0
packages/sexplib/sexplib.v0.17.0
packages/seq/seq.base packages/sedlex/sedlex.3.7
packages/scfg/scfg.0.5
packages/rresult/rresult.0.7.0
packages/result/result.1.5 packages/re/re.1.14.0
packages/ptime/ptime.1.2.0 packages/psq/psq.0.2.1
packages/progress/progress.0.5.0
packages/prelude/prelude.0.5
packages/ppxlib_jane/ppxlib_jane.v0.17.4
packages/ppxlib/ppxlib.0.38.0
packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.1
packages/ppx_hash/ppx_hash.v0.17.0
packages/ppx_enumerate/ppx_enumerate.v0.17.0
packages/ppx_deriving/ppx_deriving.6.1.1
packages/ppx_derivers/ppx_derivers.1.2.1
packages/ppx_compare/ppx_compare.v0.17.0
packages/ppx_blob/ppx_blob.0.9.0
packages/pp_loc/pp_loc.2.1.0 packages/pp/pp.2.0.0
packages/patch/patch.3.1.1
packages/parsexp/parsexp.v0.17.0
packages/ordering/ordering.3.23.1
packages/optint/optint.0.3.0
packages/opam-format/opam-format.2.5.1
packages/opam-file-format/opam-file-format.2.2.0
packages/opam-core/opam-core.2.5.1
packages/odoc-parser/odoc-parser.3.2.1
packages/odoc-md/odoc-md.3.2.1
packages/odoc-driver/odoc-driver.3.2.1
packages/odoc/odoc.3.2.1 packages/odig/odig.0.1.0
packages/ocplib-endian/ocplib-endian.1.2
packages/ocamlgraph/ocamlgraph.2.2.0
packages/ocamlfind/ocamlfind.1.9.8
packages/ocamlbuild/ocamlbuild.0.16.1
packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.2
packages/ocaml_intrinsics/ocaml_intrinsics.v0.17.0
packages/ocaml-options-vanilla/ocaml-options-vanilla.1
packages/ocaml-config/ocaml-config.3
packages/ocaml-compiler-libs/ocaml-compiler-libs.v0.17.0
packages/ocaml-compiler/ocaml-compiler.5.4.0
packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0
packages/ocaml/ocaml.5.4.0 packages/num/num.1.6
packages/mtime/mtime.2.1.0
packages/menhirSdk/menhirSdk.20250912
packages/menhirLib/menhirLib.20250912
packages/menhirCST/menhirCST.20250912
packages/menhir/menhir.20250912
packages/lwt-dllist/lwt-dllist.1.1.0
packages/lwt/lwt.6.1.2 packages/logs/logs.0.10.0
packages/jsonm/jsonm.1.0.2
packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.3.2
packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.3.2
packages/js_of_ocaml/js_of_ocaml.6.3.2
packages/iomux/iomux.0.4 packages/hmap/hmap.0.8.1
packages/hc/hc.0.5 packages/gen/gen.1.1
packages/fs-io/fs-io.3.23.1
packages/fpath/fpath.0.7.3 packages/fmt/fmt.0.11.0
packages/farith/farith.0.1
packages/eio_posix/eio_posix.1.3
packages/eio_main/eio_main.1.3
packages/eio_linux/eio_linux.1.3
packages/eio/eio.1.3 packages/dyn/dyn.3.23.1
packages/dune-site/dune-site.3.23.1
packages/dune-private-libs/dune-private-libs.3.23.1
packages/dune-configurator/dune-configurator.3.23.1
packages/dune-build-info/dune-build-info.3.23.1
packages/dune/dune.3.23.1
packages/domain-local-await/domain-local-await.1.0.1
packages/dolmen_type/dolmen_type.0.10
packages/dolmen_model/dolmen_model.0.10
packages/dolmen_loop/dolmen_loop.0.10
packages/dolmen/dolmen.0.10
packages/decompress/decompress.1.5.3
packages/cstruct/cstruct.6.2.0
packages/csexp/csexp.1.5.2
packages/crunch/crunch.4.0.0
packages/cppo/cppo.1.8.0
packages/conf-pkg-config/conf-pkg-config.4
packages/conf-gmp/conf-gmp.5
packages/cmdliner/cmdliner.2.1.1
packages/cmarkit/cmarkit.0.4.0
packages/checkseum/checkseum.0.5.3
packages/camlp-streams/camlp-streams.5.0.1
packages/brr/brr.0.0.8 packages/bos/bos.0.3.0
packages/bigstringaf/bigstringaf.0.10.0
packages/bigstring/bigstring.0.3
packages/base64/base64.3.5.2
packages/base-unix/base-unix.base
packages/base-threads/base-threads.base
packages/base-nnp/base-nnp.base
packages/base-effects/base-effects.base
packages/base-domains/base-domains.base
packages/base-bytes/base-bytes.base
packages/base-bigarray/base-bigarray.base
packages/base/base.v0.17.3 packages/b0/b0.0.0.6
packages/astring/astring.0.8.5
2026-05-29 09:25.28 [INFO] = base =
2026-05-29 09:25.28 [INFO] -> compile zarith.1.14 yojson.3.0.0 uutf.1.0.4
uucp.17.0.0 uring.2.7.0 tyxml.4.6.0
topkg.1.1.1 top-closure.3.23.1
thread-table.1.0.0 terminal.0.5.0
swhid_core.0.1 stdune.3.23.1
stdlib-shims.0.3.0 spelll.0.4
smtml.0.28.0 sherlodoc.3.2.1 sha.1.15.4
sexplib0.v0.17.0 sexplib.v0.17.0
seq.base sedlex.3.7 scfg.0.5
rresult.0.7.0 result.1.5 re.1.14.0
ptime.1.2.0 psq.0.2.1 progress.0.5.0
prelude.0.5 ppxlib_jane.v0.17.4
ppxlib.0.38.0 ppx_sexp_conv.v0.17.1
ppx_hash.v0.17.0 ppx_enumerate.v0.17.0
ppx_deriving.6.1.1 ppx_derivers.1.2.1
ppx_compare.v0.17.0 ppx_blob.0.9.0
pp_loc.2.1.0 pp.2.0.0 patch.3.1.1
parsexp.v0.17.0 ordering.3.23.1
optint.0.3.0 opam-format.2.5.1
opam-file-format.2.2.0 opam-core.2.5.1
odoc-parser.3.2.1 odoc-md.3.2.1
odoc-driver.3.2.1 odoc.3.2.1 odig.0.1.0
ocplib-endian.1.2 ocamlgraph.2.2.0
ocamlfind.1.9.8 ocamlbuild.0.16.1
ocaml_intrinsics_kernel.v0.17.2
ocaml_intrinsics.v0.17.0
ocaml-options-vanilla.1 ocaml-config.3
ocaml-compiler-libs.v0.17.0
ocaml-compiler.5.4.0
ocaml-base-compiler.5.4.0 ocaml.5.4.0
num.1.6 mtime.2.1.0 menhirSdk.20250912
menhirLib.20250912 menhirCST.20250912
menhir.20250912 lwt-dllist.1.1.0
lwt.6.1.2 logs.0.10.0 jsonm.1.0.2
js_of_ocaml-toplevel.6.3.2
js_of_ocaml-compiler.6.3.2
js_of_ocaml.6.3.2 iomux.0.4 hmap.0.8.1
hc.0.5 gen.1.1 fs-io.3.23.1 fpath.0.7.3
fmt.0.11.0 farith.0.1 eio_posix.1.3
eio_main.1.3 eio_linux.1.3 eio.1.3
dyn.3.23.1 dune-site.3.23.1
dune-private-libs.3.23.1
dune-configurator.3.23.1
dune-build-info.3.23.1 dune.3.23.1
domain-local-await.1.0.1
dolmen_type.0.10 dolmen_model.0.10
dolmen_loop.0.10 dolmen.0.10
decompress.1.5.3 cstruct.6.2.0
csexp.1.5.2 crunch.4.0.0 cppo.1.8.0
conf-pkg-config.4 conf-gmp.5
cmdliner.2.1.1 cmarkit.0.4.0
checkseum.0.5.3 camlp-streams.5.0.1
brr.0.0.8 bos.0.3.0 bigstringaf.0.10.0
bigstring.0.3 base64.3.5.2
base-unix.base base-threads.base
base-nnp.base base-effects.base
base-domains.base base-bytes.base
base-bigarray.base base.v0.17.3
b0.0.0.6 astring.0.8.5
2026-05-29 09:25.28 [INFO] -> link zarith.1.14 yojson.3.0.0 uutf.1.0.4
uucp.17.0.0 uring.2.7.0 tyxml.4.6.0
topkg.1.1.1 top-closure.3.23.1
thread-table.1.0.0 terminal.0.5.0
swhid_core.0.1 stdune.3.23.1
stdlib-shims.0.3.0 spelll.0.4 smtml.0.28.0
sherlodoc.3.2.1 sha.1.15.4
sexplib0.v0.17.0 sexplib.v0.17.0 seq.base
sedlex.3.7 scfg.0.5 rresult.0.7.0
result.1.5 re.1.14.0 ptime.1.2.0 psq.0.2.1
progress.0.5.0 prelude.0.5
ppxlib_jane.v0.17.4 ppxlib.0.38.0
ppx_sexp_conv.v0.17.1 ppx_hash.v0.17.0
ppx_enumerate.v0.17.0 ppx_deriving.6.1.1
ppx_derivers.1.2.1 ppx_compare.v0.17.0
ppx_blob.0.9.0 pp_loc.2.1.0 pp.2.0.0
patch.3.1.1 parsexp.v0.17.0
ordering.3.23.1 optint.0.3.0
opam-format.2.5.1 opam-file-format.2.2.0
opam-core.2.5.1 odoc-parser.3.2.1
odoc-md.3.2.1 odoc-driver.3.2.1 odoc.3.2.1
odig.0.1.0 ocplib-endian.1.2
ocamlgraph.2.2.0 ocamlfind.1.9.8
ocamlbuild.0.16.1
ocaml_intrinsics_kernel.v0.17.2
ocaml_intrinsics.v0.17.0
ocaml-options-vanilla.1 ocaml-config.3
ocaml-compiler-libs.v0.17.0
ocaml-compiler.5.4.0
ocaml-base-compiler.5.4.0 ocaml.5.4.0
num.1.6 mtime.2.1.0 menhirSdk.20250912
menhirLib.20250912 menhirCST.20250912
menhir.20250912 lwt-dllist.1.1.0 lwt.6.1.2
logs.0.10.0 jsonm.1.0.2
js_of_ocaml-toplevel.6.3.2
js_of_ocaml-compiler.6.3.2
js_of_ocaml.6.3.2 iomux.0.4 hmap.0.8.1
hc.0.5 gen.1.1 fs-io.3.23.1 fpath.0.7.3
fmt.0.11.0 farith.0.1 eio_posix.1.3
eio_main.1.3 eio_linux.1.3 eio.1.3
dyn.3.23.1 dune-site.3.23.1
dune-private-libs.3.23.1
dune-configurator.3.23.1
dune-build-info.3.23.1 dune.3.23.1
domain-local-await.1.0.1 dolmen_type.0.10
dolmen_model.0.10 dolmen_loop.0.10
dolmen.0.10 decompress.1.5.3 cstruct.6.2.0
csexp.1.5.2 crunch.4.0.0 cppo.1.8.0
conf-pkg-config.4 conf-gmp.5
cmdliner.2.1.1 cmarkit.0.4.0
checkseum.0.5.3 camlp-streams.5.0.1
brr.0.0.8 bos.0.3.0 bigstringaf.0.10.0
bigstring.0.3 base64.3.5.2 base-unix.base
base-threads.base base-nnp.base
base-effects.base base-domains.base
base-bytes.base base-bigarray.base
base.v0.17.3 b0.0.0.6 astring.0.8.5
2026-05-29 09:25.28 [INFO] (valid since opam-repository commit 2b71b5c5ea7996669efff10478673abebc98a476)
2026-05-29 09:25.28: Here we go
2026-05-29 09:25.28: Packages returned:
2026-05-29 09:25.28: Got the root package smtml.0.28.0
2026-05-29 09:25.28: Checking smtml.0.28.0
2026-05-29 09:25.28: Checking astring.0.8.5
2026-05-29 09:25.28: Checking base.v0.17.3
2026-05-29 09:25.28: Checking base-bytes.base
2026-05-29 09:25.28: Checking base-threads.base
2026-05-29 09:25.28: Checking base-unix.base
2026-05-29 09:25.28: Checking bos.0.3.0
2026-05-29 09:25.28: Checking cmdliner.2.1.1
2026-05-29 09:25.28: Checking conf-gmp.5
2026-05-29 09:25.28: Checking conf-pkg-config.4
2026-05-29 09:25.28: Checking cppo.1.8.0
2026-05-29 09:25.28: Checking csexp.1.5.2
2026-05-29 09:25.28: Checking dolmen.0.10
2026-05-29 09:25.28: Checking dolmen_loop.0.10
2026-05-29 09:25.28: Checking dolmen_model.0.10
2026-05-29 09:25.28: Checking dolmen_type.0.10
2026-05-29 09:25.28: Checking dune.3.23.1
2026-05-29 09:25.28: Checking dune-build-info.3.23.1
2026-05-29 09:25.28: Checking dune-configurator.3.23.1
2026-05-29 09:25.28: Checking dune-private-libs.3.23.1
2026-05-29 09:25.28: Checking dune-site.3.23.1
2026-05-29 09:25.28: Checking dyn.3.23.1
2026-05-29 09:25.28: Checking farith.0.1
2026-05-29 09:25.28: Checking fmt.0.11.0
2026-05-29 09:25.28: Checking fpath.0.7.3
2026-05-29 09:25.28: Checking fs-io.3.23.1
2026-05-29 09:25.28: Checking gen.1.1
2026-05-29 09:25.28: Checking hc.0.5
2026-05-29 09:25.28: Checking hmap.0.8.1
2026-05-29 09:25.28: Checking js_of_ocaml-compiler.6.3.2
2026-05-29 09:25.28: Checking logs.0.10.0
2026-05-29 09:25.28: Checking lwt.6.1.2
2026-05-29 09:25.28: Checking menhir.20250912
2026-05-29 09:25.28: Checking menhirCST.20250912
2026-05-29 09:25.28: Checking menhirLib.20250912
2026-05-29 09:25.28: Checking menhirSdk.20250912
2026-05-29 09:25.28: Checking mtime.2.1.0
2026-05-29 09:25.28: Checking ocaml.5.4.0
2026-05-29 09:25.28: Solved: 17975 / New: 1 / Success: 1
2026-05-29 09:25.31: Job succeeded