2026-05-31 21:31.32: New job: incremental solver v2
2026-05-31 21:31.32: Using opam-repository sha 5acf4107ed11a80ba37c4ea55b7bc8136f3f2045
2026-05-31 21:31.36 [INFO] Solving for ocaml-base-compiler,
coccinelle, constraints ocaml-base-compiler<=5.4.0,
coccinelle=1.3.1 using opam_repository_commit 5acf4107ed11a80ba37c4ea55b7bc8136f3f2045
2026-05-31 21:32.17 [INFO] base: found solution in 0.22 s
2026-05-31 21:32.17 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
5acf4107ed11a80ba37c4ea55b7bc8136f3f2045 --
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/thread-table/thread-table.1.0.0
packages/terminal/terminal.0.5.0
packages/swhid_core/swhid_core.0.1
packages/stdlib-shims/stdlib-shims.0.3.0
packages/stdcompat/stdcompat.21.1
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/rresult/rresult.0.7.0
packages/result/result.1.5 packages/re/re.1.14.0
packages/pyml/pyml.20250807
packages/ptime/ptime.1.2.0 packages/psq/psq.0.2.1
packages/progress/progress.0.5.0
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_derivers/ppx_derivers.1.2.1
packages/ppx_blob/ppx_blob.0.9.0
packages/patch/patch.3.1.1
packages/parsexp/parsexp.v0.17.0
packages/parmap/parmap.1.2.5
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-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.3.0
packages/ocaml-base-compiler/ocaml-base-compiler.5.3.0
packages/ocaml/ocaml.5.3.0 packages/num/num.1.6
packages/mtime/mtime.2.1.0
packages/menhirSdk/menhirSdk.20260209
packages/menhirLib/menhirLib.20260209
packages/menhirGLR/menhirGLR.20260209
packages/menhirCST/menhirCST.20260209
packages/menhir/menhir.20260209
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/gen/gen.1.1 packages/fpath/fpath.0.7.3
packages/fmt/fmt.0.11.0
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/dune-configurator/dune-configurator.3.23.1
packages/dune/dune.3.23.1
packages/domain-local-await/domain-local-await.1.0.1
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-python-3-dev/conf-python-3-dev.1
packages/conf-python-3/conf-python-3.9.0.0
packages/conf-pkg-config/conf-pkg-config.4
packages/conf-automake/conf-automake.1
packages/conf-autoconf/conf-autoconf.0.2
packages/conf-aclocal/conf-aclocal.2
packages/coccinelle/coccinelle.1.3.1
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-31 21:32.17 [INFO] = base =
2026-05-31 21:32.17 [INFO] -> compile yojson.3.0.0 uutf.1.0.4 uucp.17.0.0
uring.2.7.0 tyxml.4.6.0 topkg.1.1.1
thread-table.1.0.0 terminal.0.5.0
swhid_core.0.1 stdlib-shims.0.3.0
stdcompat.21.1 sherlodoc.3.2.1
sha.1.15.4 sexplib0.v0.17.0
sexplib.v0.17.0 seq.base sedlex.3.7
rresult.0.7.0 result.1.5 re.1.14.0
pyml.20250807 ptime.1.2.0 psq.0.2.1
progress.0.5.0 ppxlib_jane.v0.17.4
ppxlib.0.38.0 ppx_sexp_conv.v0.17.1
ppx_derivers.1.2.1 ppx_blob.0.9.0
patch.3.1.1 parsexp.v0.17.0
parmap.1.2.5 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-options-vanilla.1 ocaml-config.3
ocaml-compiler-libs.v0.17.0
ocaml-compiler.5.3.0
ocaml-base-compiler.5.3.0 ocaml.5.3.0
num.1.6 mtime.2.1.0 menhirSdk.20260209
menhirLib.20260209 menhirGLR.20260209
menhirCST.20260209 menhir.20260209
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
gen.1.1 fpath.0.7.3 fmt.0.11.0
eio_posix.1.3 eio_main.1.3
eio_linux.1.3 eio.1.3
dune-configurator.3.23.1 dune.3.23.1
domain-local-await.1.0.1
decompress.1.5.3 cstruct.6.2.0
csexp.1.5.2 crunch.4.0.0 cppo.1.8.0
conf-python-3-dev.1 conf-python-3.9.0.0
conf-pkg-config.4 conf-automake.1
conf-autoconf.0.2 conf-aclocal.2
coccinelle.1.3.1 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-31 21:32.17 [INFO] -> link yojson.3.0.0 uutf.1.0.4 uucp.17.0.0
uring.2.7.0 tyxml.4.6.0 topkg.1.1.1
thread-table.1.0.0 terminal.0.5.0
swhid_core.0.1 stdlib-shims.0.3.0
stdcompat.21.1 sherlodoc.3.2.1 sha.1.15.4
sexplib0.v0.17.0 sexplib.v0.17.0 seq.base
sedlex.3.7 rresult.0.7.0 result.1.5
re.1.14.0 pyml.20250807 ptime.1.2.0
psq.0.2.1 progress.0.5.0
ppxlib_jane.v0.17.4 ppxlib.0.38.0
ppx_sexp_conv.v0.17.1 ppx_derivers.1.2.1
ppx_blob.0.9.0 patch.3.1.1 parsexp.v0.17.0
parmap.1.2.5 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-options-vanilla.1 ocaml-config.3
ocaml-compiler-libs.v0.17.0
ocaml-compiler.5.3.0
ocaml-base-compiler.5.3.0 ocaml.5.3.0
num.1.6 mtime.2.1.0 menhirSdk.20260209
menhirLib.20260209 menhirGLR.20260209
menhirCST.20260209 menhir.20260209
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
gen.1.1 fpath.0.7.3 fmt.0.11.0
eio_posix.1.3 eio_main.1.3 eio_linux.1.3
eio.1.3 dune-configurator.3.23.1
dune.3.23.1 domain-local-await.1.0.1
decompress.1.5.3 cstruct.6.2.0 csexp.1.5.2
crunch.4.0.0 cppo.1.8.0
conf-python-3-dev.1 conf-python-3.9.0.0
conf-pkg-config.4 conf-automake.1
conf-autoconf.0.2 conf-aclocal.2
coccinelle.1.3.1 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-31 21:32.17 [INFO] (valid since opam-repository commit 6a577aa0846322ac3e9bddc7834760fed270e906)
2026-05-31 21:32.24: Here we go
2026-05-31 21:32.24: Packages returned:
2026-05-31 21:32.24: Got the root package coccinelle.1.3.1
2026-05-31 21:32.24: Checking coccinelle.1.3.1
2026-05-31 21:32.24: Checking base-bigarray.base
2026-05-31 21:32.24: Checking base-threads.base
2026-05-31 21:32.24: Checking base-unix.base
2026-05-31 21:32.24: Checking conf-aclocal.2
2026-05-31 21:32.24: Checking conf-autoconf.0.2
2026-05-31 21:32.24: Checking conf-automake.1
2026-05-31 21:32.24: Checking conf-pkg-config.4
2026-05-31 21:32.24: Checking conf-python-3.9.0.0
2026-05-31 21:32.24: Checking conf-python-3-dev.1
2026-05-31 21:32.24: Checking csexp.1.5.2
2026-05-31 21:32.24: Checking dune.3.23.1
2026-05-31 21:32.24: Checking dune-configurator.3.23.1
2026-05-31 21:32.24: Checking menhir.20260209
2026-05-31 21:32.24: Checking menhirCST.20260209
2026-05-31 21:32.24: Checking menhirGLR.20260209
2026-05-31 21:32.24: Checking menhirLib.20260209
2026-05-31 21:32.24: Checking menhirSdk.20260209
2026-05-31 21:32.24: Checking num.1.6
2026-05-31 21:32.24: Checking ocaml.5.3.0
2026-05-31 21:32.24: Solved: 17981 / New: 1 / Success: 1
2026-05-31 21:32.27: Job succeeded