2025-11-13 14:48.30: New job: incremental solver v2
2025-11-13 14:48.30: Using opam-repository sha 48c9f6e789883c3dbb4ff03be0529c4936e40316
2025-11-13 14:48.34 [INFO] Solving for ocaml-base-compiler,
rfsm, constraints ocaml-base-compiler<=5.3.0,
rfsm=2.2 using opam_repository_commit 48c9f6e789883c3dbb4ff03be0529c4936e40316
2025-11-13 14:48.34 [INFO] Solving for ocaml-base-compiler,
dkml-c-probe, constraints ocaml-base-compiler<=5.3.0,
dkml-c-probe=3.2.0 using opam_repository_commit 48c9f6e789883c3dbb4ff03be0529c4936e40316
2025-11-13 14:48.52 [INFO] base: found solution in 0.23 s
2025-11-13 14:48.52 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
48c9f6e789883c3dbb4ff03be0529c4936e40316 --
packages/ocaml-options-vanilla/ocaml-options-vanilla.1
packages/ocaml-config/ocaml-config.3
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/dune-configurator/dune-configurator.3.20.2
packages/dune/dune.3.20.2
packages/dkml-c-probe/dkml-c-probe.3.2.0
packages/csexp/csexp.1.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-bigarray/base-bigarray.base
2025-11-13 14:48.52 [INFO] = base =
2025-11-13 14:48.52 [INFO] -> compile ocaml-options-vanilla.1 ocaml-config.3
ocaml-compiler.5.3.0
ocaml-base-compiler.5.3.0 ocaml.5.3.0
dune-configurator.3.20.2 dune.3.20.2
dkml-c-probe.3.2.0 csexp.1.5.2
base-unix.base base-threads.base
base-nnp.base base-effects.base
base-domains.base base-bigarray.base
2025-11-13 14:48.52 [INFO] -> link ocaml-options-vanilla.1 ocaml-config.3
ocaml-compiler.5.3.0
ocaml-base-compiler.5.3.0 ocaml.5.3.0
dune-configurator.3.20.2 dune.3.20.2
dkml-c-probe.3.2.0 csexp.1.5.2
base-unix.base base-threads.base
base-nnp.base base-effects.base
base-domains.base base-bigarray.base
2025-11-13 14:48.52 [INFO] (valid since opam-repository commit aea2aa34cca9adc445a57ca647e40c732ec46a21)
2025-11-13 14:48.52: Here we go
2025-11-13 14:48.52: Packages returned:
2025-11-13 14:48.52: Got the root package dkml-c-probe.3.2.0
2025-11-13 14:48.52: Checking dkml-c-probe.3.2.0
2025-11-13 14:48.52: Checking base-threads.base
2025-11-13 14:48.52: Checking base-unix.base
2025-11-13 14:48.52: Checking csexp.1.5.2
2025-11-13 14:48.52: Checking dune.3.20.2
2025-11-13 14:48.52: Checking dune-configurator.3.20.2
2025-11-13 14:48.52: Checking ocaml.5.3.0
2025-11-13 14:48.53 [INFO] base: found solution in 0.25 s
2025-11-13 14:48.53 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
48c9f6e789883c3dbb4ff03be0529c4936e40316 --
packages/yojson/yojson.3.0.0
packages/stdlib-shims/stdlib-shims.0.3.0
packages/sexplib0/sexplib0.v0.17.0
packages/rfsm/rfsm.2.2
packages/ppxlib/ppxlib.0.37.0
packages/ppx_deriving/ppx_deriving.6.1.1
packages/ppx_derivers/ppx_derivers.1.2.1
packages/ocamlgraph/ocamlgraph.2.2.0
packages/ocamlfind/ocamlfind.1.9.8
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/menhirSdk/menhirSdk.20250912
packages/menhirLib/menhirLib.20250912
packages/menhirCST/menhirCST.20250912
packages/menhir/menhir.20250912
packages/dune/dune.3.20.2 packages/cppo/cppo.1.8.0
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-bigarray/base-bigarray.base
2025-11-13 14:48.53 [INFO] = base =
2025-11-13 14:48.53 [INFO] -> compile yojson.3.0.0 stdlib-shims.0.3.0
sexplib0.v0.17.0 rfsm.2.2 ppxlib.0.37.0
ppx_deriving.6.1.1 ppx_derivers.1.2.1
ocamlgraph.2.2.0 ocamlfind.1.9.8
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
menhirSdk.20250912 menhirLib.20250912
menhirCST.20250912 menhir.20250912
dune.3.20.2 cppo.1.8.0 base-unix.base
base-threads.base base-nnp.base
base-effects.base base-domains.base
base-bigarray.base
2025-11-13 14:48.53 [INFO] -> link yojson.3.0.0 stdlib-shims.0.3.0
sexplib0.v0.17.0 rfsm.2.2 ppxlib.0.37.0
ppx_deriving.6.1.1 ppx_derivers.1.2.1
ocamlgraph.2.2.0 ocamlfind.1.9.8
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
menhirSdk.20250912 menhirLib.20250912
menhirCST.20250912 menhir.20250912
dune.3.20.2 cppo.1.8.0 base-unix.base
base-threads.base base-nnp.base
base-effects.base base-domains.base
base-bigarray.base
2025-11-13 14:48.53 [INFO] (valid since opam-repository commit d970b85da682c58ca9851d81157baa2f50363e78)
2025-11-13 14:48.53: Here we go
2025-11-13 14:48.53: Packages returned:
2025-11-13 14:48.53: Got the root package rfsm.2.2
2025-11-13 14:48.53: Checking rfsm.2.2
2025-11-13 14:48.53: Checking base-threads.base
2025-11-13 14:48.53: Checking base-unix.base
2025-11-13 14:48.53: Checking cppo.1.8.0
2025-11-13 14:48.53: Checking dune.3.20.2
2025-11-13 14:48.53: Checking menhir.20250912
2025-11-13 14:48.53: Checking menhirCST.20250912
2025-11-13 14:48.53: Checking menhirLib.20250912
2025-11-13 14:48.53: Checking menhirSdk.20250912
2025-11-13 14:48.53: Checking ocaml.5.3.0
2025-11-13 14:48.53: Solved: 18749 / New: 2 / Success: 2
2025-11-13 14:48.56: Job succeeded