(analysis)

2024-05-16 09:15.11: New job: Analyse
2024-05-16 09:15.11: Waiting for resource in pool analyse
2024-05-16 09:15.48: Got resource from pool analyse
2024-05-16 09:15.48: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (0bdad08fb7e8f889d600aa06619fdb88cd179258)
2024-05-16 09:15.48: Waiting for worker…
Building on arm64-jade-1.equinix.ci.dev-22
2024-05-16 09:15.50 [INFO] Solving for deps_for_opam_dune_lint.opam,
                           ortac-wrapper.dev, ortac-runtime.dev,
                           ortac-runtime-qcheck-stm.dev,
                           ortac-runtime-monolith.dev, ortac-qcheck-stm.dev,
                           ortac-monolith.dev, ortac-examples.dev,
                           ortac-dune.dev, ortac-core.dev
2024-05-16 09:40.22 [INFO] debian-12-4.03_opam-2.1: eliminated all possibilities in 76.52 s
2024-05-16 09:40.22 [INFO] debian-12-4.02_opam-2.1: eliminated all possibilities in 77.22 s
2024-05-16 09:40.22 [INFO] debian-12-4.04_opam-2.1: eliminated all possibilities in 64.28 s
2024-05-16 09:40.22 [INFO] debian-12-4.03_opam-2.1: eliminated all possibilities in 75.29 s
2024-05-16 09:40.22 [INFO] debian-12-4.02_opam-2.1: eliminated all possibilities in 77.24 s
2024-05-16 09:40.22 [INFO] debian-12-4.04_opam-2.1: eliminated all possibilities in 63.74 s
2024-05-16 09:40.54 [INFO] debian-12-4.05_opam-2.1: eliminated all possibilities in 16.60 s
2024-05-16 09:40.54 [INFO] debian-12-4.06_opam-2.1: eliminated all possibilities in 16.85 s
2024-05-16 09:40.55 [INFO] debian-12-4.05_opam-2.1: eliminated all possibilities in 16.74 s
2024-05-16 09:40.55 [INFO] debian-12-4.07_opam-2.1: eliminated all possibilities in 16.93 s
2024-05-16 09:40.57 [INFO] debian-12-4.06_opam-2.1: eliminated all possibilities in 17.53 s
2024-05-16 09:40.58 [INFO] debian-12-4.07_opam-2.1: eliminated all possibilities in 17.07 s
2024-05-16 09:41.11 [INFO] debian-12-4.08_opam-2.1: found solution in 17.13 s
2024-05-16 09:41.19 [INFO] debian-12-4.08_opam-2.1: found solution in 24.81 s
2024-05-16 09:41.33 [INFO] debian-12-4.09_opam-2.1: found solution in 37.83 s
2024-05-16 09:41.40 [INFO] debian-12-4.10_opam-2.1: found solution in 42.47 s
2024-05-16 09:41.42 [INFO] debian-12-4.10_opam-2.1: found solution in 45.22 s
2024-05-16 09:41.46 [INFO] debian-12-4.09_opam-2.1: found solution in 50.85 s
2024-05-16 09:41.47 [INFO] debian-12-4.11_opam-2.1: found solution in 36.43 s
2024-05-16 09:41.54 [INFO] debian-12-4.11_opam-2.1: found solution in 34.85 s
2024-05-16 09:42.14: Cancelling: Auto-cancelling job because it is no longer needed
2024-05-16 09:42.15 [INFO] debian-12-4.13_opam-2.1: found solution in 33.11 s
2024-05-16 09:42.22 [INFO] debian-12-4.12_opam-2.1: found solution in 42.28 s
2024-05-16 09:42.23 [INFO] debian-12-4.12_opam-2.1: found solution in 50.19 s
2024-05-16 09:42.32 [INFO] alpine-3.19-4.14_opam-2.1: found solution in 44.46 s
2024-05-16 09:42.35 [INFO] debian-12-4.13_opam-2.1: found solution in 48.80 s
2024-05-16 09:42.43 [INFO] debian-11-4.14_opam-2.1: found solution in 48.80 s
2024-05-16 09:42.43 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 09:42.43 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-ocamlbuild.base base-threads.base
          base-unix.base deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.02.3
    base-ocamlbuild base requires >= 3.10 & < 4.03
    ocaml-base-compiler 4.02.3 requires = 4.02.3
- ocaml-base-compiler -> ocaml-base-compiler.4.02.3
    User requested = 4.02.3
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.43 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 09:42.43 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-ocamlbuild.base base-threads.base
          base-unix.base deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.02.3
    base-ocamlbuild base requires >= 3.10 & < 4.03
    ocaml-base-compiler 4.02.3 requires = 4.02.3
- ocaml-base-compiler -> ocaml-base-compiler.4.02.3
    User requested = 4.02.3
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.03.0
    ocaml-base-compiler 4.03.0 requires = 4.03.0
- ocaml-base-compiler -> ocaml-base-compiler.4.03.0
    User requested = 4.03.0
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.03.0
    ocaml-base-compiler 4.03.0 requires = 4.03.0
- ocaml-base-compiler -> ocaml-base-compiler.4.03.0
    User requested = 4.03.0
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.04.2
    ocaml-base-compiler 4.04.2 requires = 4.04.2
- ocaml-base-compiler -> ocaml-base-compiler.4.04.2
    User requested = 4.04.2
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.04.2
    ocaml-base-compiler 4.04.2 requires = 4.04.2
- ocaml-base-compiler -> ocaml-base-compiler.4.04.2
    User requested = 4.04.2
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.05.0
    ocaml-base-compiler 4.05.0 requires = 4.05.0
- ocaml-base-compiler -> ocaml-base-compiler.4.05.0
    User requested = 4.05.0
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.05.0
    ocaml-base-compiler 4.05.0 requires = 4.05.0
- ocaml-base-compiler -> ocaml-base-compiler.4.05.0
    User requested = 4.05.0
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.06.1
    ocaml-base-compiler 4.06.1 requires = 4.06.1
- ocaml-base-compiler -> ocaml-base-compiler.4.06.1
    User requested = 4.06.1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.06.1
    ocaml-base-compiler 4.06.1 requires = 4.06.1
- ocaml-base-compiler -> ocaml-base-compiler.4.06.1
    User requested = 4.06.1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.3
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.07.1
    ocaml-base-compiler 4.07.1 requires = 4.07.1
- ocaml-base-compiler -> ocaml-base-compiler.4.07.1
    User requested = 4.07.1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 09:42.44 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-threads.base base-unix.base
          deps_for_opam_dune_lint.opam ocaml-config.0
          ocaml-base-compiler&deps_for_opam_dune_lint ocaml-base-compiler
          ocaml-variants
- ocaml -> ocaml.4.07.1
    ocaml-base-compiler 4.07.1 requires = 4.07.1
- ocaml-base-compiler -> ocaml-base-compiler.4.07.1
    User requested = 4.07.1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.2.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- opam-dune-lint -> (problem)
    Rejected candidates:
      opam-dune-lint.0.6: Requires ocaml >= 4.08.0
      opam-dune-lint.0.5: Requires ocaml >= 4.08.0
      opam-dune-lint.0.4: Requires ocaml >= 4.08.0
      opam-dune-lint.0.3: Requires ocaml >= 4.08.0
      opam-dune-lint.0.2: Requires ocaml >= 4.10.0
      ...
2024-05-16 09:42.44 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.3 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              cmdliner.1.2.0 cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-configurator.3.15.2 dyn.3.15.2 fmt.0.9.0
                              fpath.0.7.3 logs.0.7.0 num.1.5 ocaml.4.08.1
                              ocaml-base-compiler.4.08.1 ocaml-config.1
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2
                              parsexp.v0.14.2 pp.1.2.0 re.1.11.0
                              rresult.0.7.0 seq.base sexplib.v0.14.0
                              sexplib0.v0.14.0 stdlib-shims.0.3.0
                              stdune.3.15.2 topkg.1.0.7
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.0 base-bigarray.base
                              base-bytes.base base-threads.base
                              base-unix.base bos.0.2.0 cmdliner.1.1.0
                              conf-m4.1 cppo.1.6.1 csexp.1.5.1
                              deps_for_opam_dune_lint.opam dune.3.10.0
                              dune-configurator.2.3.0 dune-private-libs.2.3.0
                              dyn.3.10.0 fmt.0.8.9 fpath.0.7.3
                              jbuilder.1.0+beta20.1 logs.0.6.2 num.1.0
                              ocaml.4.08.1 ocaml-base-compiler.4.08.1
                              ocaml-config.1 ocamlbuild.0.14.0
                              ocamlfind.1.8.0 ocamlgraph.1.8.8
                              opam-core.2.1.0 opam-dune-lint.0.3
                              opam-file-format.2.1.3 opam-format.2.1.0
                              opam-repository.2.1.0 opam-state.2.1.0
                              ordering.3.10.0 parsexp.v0.14.0 pp.1.1.2
                              re.1.9.0 result.1.0 rresult.0.4.0 seq.0.2.2
                              sexplib.v0.14.0 sexplib0.v0.14.0
                              stdlib-shims.0.1.0 stdune.3.10.0 topkg.0.9.0
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.3 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              cmdliner.1.2.0 cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-configurator.3.15.2 dyn.3.15.2 fmt.0.9.0
                              fpath.0.7.3 logs.0.7.0 num.1.5 ocaml.4.09.1
                              ocaml-base-compiler.4.09.1 ocaml-config.1
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2
                              parsexp.v0.14.2 pp.1.2.0 re.1.11.0
                              rresult.0.7.0 seq.base sexplib.v0.14.0
                              sexplib0.v0.14.0 stdlib-shims.0.3.0
                              stdune.3.15.2 topkg.1.0.7
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.0 base-bigarray.base
                              base-bytes.base base-threads.base
                              base-unix.base bos.0.2.0 cmdliner.1.1.0
                              conf-m4.1 cppo.1.6.1 csexp.1.5.1
                              deps_for_opam_dune_lint.opam dune.3.10.0
                              dune-configurator.2.3.0 dune-private-libs.2.3.0
                              dyn.3.10.0 fmt.0.8.9 fpath.0.7.3
                              jbuilder.1.0+beta20.1 logs.0.6.2 num.1.0
                              ocaml.4.09.1 ocaml-base-compiler.4.09.1
                              ocaml-config.1 ocamlbuild.0.14.0
                              ocamlfind.1.8.1 ocamlgraph.1.8.8
                              opam-core.2.1.0 opam-dune-lint.0.3
                              opam-file-format.2.1.3 opam-format.2.1.0
                              opam-repository.2.1.0 opam-state.2.1.0
                              ordering.3.10.0 parsexp.v0.14.0 pp.1.1.2
                              re.1.9.0 result.1.0 rresult.0.4.0 seq.0.2.2
                              sexplib.v0.14.0 sexplib0.v0.14.0
                              stdlib-shims.0.1.0 stdune.3.10.0 topkg.0.9.0
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.15.1 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              cmdliner.1.2.0 cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-configurator.3.15.2 dyn.3.15.2 fmt.0.9.0
                              fpath.0.7.3 logs.0.7.0 num.1.5 ocaml.4.10.2
                              ocaml-base-compiler.4.10.2 ocaml-config.1
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2
                              parsexp.v0.15.0 pp.1.2.0 re.1.11.0
                              rresult.0.7.0 seq.base sexplib.v0.15.1
                              sexplib0.v0.15.1 stdlib-shims.0.3.0
                              stdune.3.15.2 topkg.1.0.7
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.0 base-bigarray.base
                              base-bytes.base base-threads.base
                              base-unix.base bos.0.2.0 cmdliner.1.0.4
                              conf-m4.1 cppo.1.6.1
                              deps_for_opam_dune_lint.opam dune.2.8.0
                              dune-configurator.2.7.0 dune-private-libs.2.8.0
                              fmt.0.8.9 fpath.0.7.0 jbuilder.1.0+beta20.1
                              logs.0.6.2 num.1.0 ocaml.4.10.2
                              ocaml-base-compiler.4.10.2 ocaml-config.1
                              ocamlbuild.0.14.0 ocamlfind.1.8.1
                              ocamlgraph.1.8.8 opam-core.2.1.0~beta2
                              opam-dune-lint.0.2 opam-file-format.2.0.0~rc2
                              opam-format.2.1.0~beta2
                              opam-repository.2.1.0~beta2
                              opam-state.2.1.0~beta2 parsexp.v0.14.0 re.1.9.0
                              result.1.0 rresult.0.4.0 seq.0.2.2
                              sexplib.v0.14.0 sexplib0.v0.14.0
                              stdlib-shims.0.1.0 topkg.0.9.0
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.15.1 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              cmdliner.1.2.0 cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-configurator.3.15.2 dyn.3.15.2 fmt.0.9.0
                              fpath.0.7.3 logs.0.7.0 num.1.5 ocaml.4.11.2
                              ocaml-base-compiler.4.11.2 ocaml-config.1
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2
                              parsexp.v0.15.0 pp.1.2.0 re.1.11.0
                              rresult.0.7.0 seq.base sexplib.v0.15.1
                              sexplib0.v0.15.1 stdlib-shims.0.3.0
                              stdune.3.15.2 topkg.1.0.7
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> astring.0.8.5 base.v0.14.0 base-bigarray.base
                              base-bytes.base base-threads.base
                              base-unix.base bos.0.1.0 cmdliner.1.0.4
                              conf-m4.1 cppo.1.6.1
                              deps_for_opam_dune_lint.opam dune.2.7.0
                              dune-configurator.2.7.0 dune-private-libs.2.7.1
                              fmt.0.8.7 fpath.0.7.0 jbuilder.1.0+beta20.1
                              logs.0.6.2 num.1.0 ocaml.4.11.2
                              ocaml-base-compiler.4.11.2 ocaml-config.1
                              ocamlbuild.0.14.0 ocamlfind.1.8.1
                              ocamlgraph.1.8.8 opam-core.2.1.0~beta2
                              opam-dune-lint.0.1 opam-file-format.2.0.0~rc2
                              opam-format.2.1.0~beta2
                              opam-repository.2.1.0~beta2
                              opam-state.2.1.0~beta2 parsexp.v0.14.0 re.1.9.0
                              result.1.0 rresult.0.4.0 seq.0.2.2
                              sexplib.v0.14.0 sexplib0.v0.14.0
                              stdlib-shims.0.1.0 topkg.0.9.0
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5
                              base.v0.15.1 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              camlp-streams.5.0.1 cmdliner.1.2.0 conf-gmp.4
                              cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-build-info.3.15.2 dune-configurator.3.15.2
                              dune-private-libs.3.15.2 dune-site.3.15.2
                              dyn.3.15.2 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1
                              menhir.20231231 menhirCST.20231231
                              menhirLib.20231231 menhirSdk.20231231
                              monolith.20230604 num.1.5 ocaml.4.12.1
                              ocaml-base-compiler.4.12.1
                              ocaml-compiler-libs.v0.12.4 ocaml-config.2
                              ocaml-options-vanilla.1
                              ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.15.0 pp.1.2.0 pp_loc.2.1.0
                              pprint.20230830 ppx_derivers.1.2.1
                              ppx_deriving.5.2.1 ppxlib.0.32.1
                              qcheck-core.0.21.3
                              qcheck-multicoretests-util.0.3 qcheck-stm.0.3
                              re.1.11.0 result.1.5 rresult.0.7.0 seq.base
                              sexplib.v0.15.1 sexplib0.v0.15.1
                              stdlib-shims.0.3.0 stdune.3.15.2 topkg.1.0.7
                              uutf.1.0.3 varray.0.2 zarith.1.13
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.3 alcotest.1.0.0 astring.0.8.5
                              base.v0.14.1 base-bigarray.base base-bytes.base
                              base-threads.base base-unix.base bos.0.2.0
                              cmdliner.1.1.0 conf-gmp.1 conf-m4.1 conf-perl.1
                              cppo.1.6.1 csexp.1.5.1
                              deps_for_opam_dune_lint.opam dune.3.10.0
                              dune-build-info.1.11.0 dune-configurator.2.7.0
                              dune-private-libs.2.8.0 dune-site.2.8.0
                              dyn.3.10.0 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              jbuilder.1.0+beta20.1 logs.0.7.0 lwt.5.4.0
                              lwt-dllist.1.0.0 mdx.2.3.0 menhir.20181006
                              mmap.1.1.0 monolith.20201026 num.1.0
                              ocaml.4.12.1 ocaml-base-compiler.4.12.1
                              ocaml-compiler-libs.v0.12.0 ocaml-config.2
                              ocaml-options-vanilla.1 ocaml-version.2.4.0
                              ocamlbuild.0.14.0 ocamlfind.1.8.1
                              ocamlgraph.1.8.8 ocplib-endian.1.0
                              odoc-parser.1.0.0 opam-core.2.1.0
                              opam-dune-lint.0.3 opam-file-format.2.1.3
                              opam-format.2.1.0 opam-repository.2.1.0
                              opam-state.2.1.0 ordering.3.10.0 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.14.0 pp.1.1.2 pp_loc.2.1.0
                              pprint.20200410 ppx_derivers.1.0
                              ppx_deriving.5.2.1 ppxlib.0.26.0
                              qcheck-core.0.20 qcheck-multicoretests-util.0.2
                              qcheck-stm.0.2 re.1.9.0 result.1.5
                              rresult.0.4.0 seq.0.2.2 sexplib.v0.14.0
                              sexplib0.v0.14.0 stdlib-shims.0.1.0
                              stdune.3.10.0 topkg.1.0.3 uuidm.0.9.6
                              varray.0.2 zarith.1.3
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5
                              base.v0.15.1 base-bigarray.base
                              base-threads.base base-unix.base bos.0.2.1
                              camlp-streams.5.0.1 cmdliner.1.2.0 conf-gmp.4
                              cppo.1.6.9 csexp.1.5.2
                              deps_for_opam_dune_lint.opam dune.3.15.2
                              dune-build-info.3.15.2 dune-configurator.3.15.2
                              dune-private-libs.3.15.2 dune-site.3.15.2
                              dyn.3.15.2 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1
                              menhir.20231231 menhirCST.20231231
                              menhirLib.20231231 menhirSdk.20231231
                              monolith.20230604 num.1.5 ocaml.4.13.1
                              ocaml-base-compiler.4.13.1
                              ocaml-compiler-libs.v0.12.4 ocaml-config.2
                              ocaml-options-vanilla.1
                              ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.15.0 pp.1.2.0 pp_loc.2.1.0
                              pprint.20230830 ppx_derivers.1.2.1
                              ppx_deriving.5.2.1 ppxlib.0.32.1
                              qcheck-core.0.21.3
                              qcheck-multicoretests-util.0.3 qcheck-stm.0.3
                              re.1.11.0 result.1.5 rresult.0.7.0 seq.base
                              sexplib.v0.15.1 sexplib0.v0.15.1
                              stdlib-shims.0.3.0 stdune.3.15.2 topkg.1.0.7
                              uutf.1.0.3 varray.0.2 zarith.1.13
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.3 alcotest.1.0.0 astring.0.8.5
                              base.v0.14.1 base-bigarray.base base-bytes.base
                              base-threads.base base-unix.base bos.0.2.0
                              cmdliner.1.1.0 conf-gmp.1 conf-perl.1
                              cppo.1.6.1 csexp.1.5.1
                              deps_for_opam_dune_lint.opam dune.3.10.0
                              dune-build-info.1.11.0 dune-configurator.2.7.0
                              dune-private-libs.2.8.0 dune-site.2.8.0
                              dyn.3.10.0 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              jbuilder.1.0+beta20.1 logs.0.7.0 lwt.5.4.0
                              lwt-dllist.1.0.0 mdx.2.3.0 menhir.20181006
                              mmap.1.1.0 monolith.20201026 num.1.0
                              ocaml.4.13.1 ocaml-base-compiler.4.13.1
                              ocaml-compiler-libs.v0.12.0 ocaml-config.2
                              ocaml-options-vanilla.1 ocaml-version.2.4.0
                              ocamlbuild.0.14.0 ocamlfind.1.9.1
                              ocamlgraph.1.8.8 ocplib-endian.1.0
                              odoc-parser.1.0.0 opam-core.2.1.0
                              opam-dune-lint.0.3 opam-file-format.2.1.3
                              opam-format.2.1.0 opam-repository.2.1.0
                              opam-state.2.1.0 ordering.3.10.0 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.14.1 pp.1.1.2 pp_loc.2.1.0
                              pprint.20200410 ppx_derivers.1.0
                              ppx_deriving.5.2.1 ppxlib.0.26.0
                              qcheck-core.0.20 qcheck-multicoretests-util.0.2
                              qcheck-stm.0.2 re.1.9.0 result.1.5
                              rresult.0.4.0 seq.0.2.2 sexplib.v0.14.0
                              sexplib0.v0.14.0 stdlib-shims.0.1.0
                              stdune.3.10.0 topkg.1.0.3 uuidm.0.9.6
                              varray.0.2 zarith.1.3
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = alpine-3.19-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5
                              base-bigarray.base base-threads.base
                              base-unix.base bos.0.2.1 camlp-streams.5.0.1
                              cmdliner.1.2.0 conf-gmp.4 cppo.1.6.9
                              csexp.1.5.2 deps_for_opam_dune_lint.opam
                              dune.3.15.2 dune-build-info.3.15.2
                              dune-private-libs.3.15.2 dune-site.3.15.2
                              dyn.3.15.2 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1
                              menhir.20231231 menhirCST.20231231
                              menhirLib.20231231 menhirSdk.20231231
                              monolith.20230604 num.1.5 ocaml.4.14.2
                              ocaml-base-compiler.4.14.2
                              ocaml-compiler-libs.v0.12.4 ocaml-config.2
                              ocaml-options-vanilla.1
                              ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.16.0 pp.1.2.0 pp_loc.2.1.0
                              pprint.20230830 ppx_derivers.1.2.1
                              ppx_deriving.5.2.1 ppxlib.0.32.1
                              qcheck-core.0.21.3
                              qcheck-multicoretests-util.0.3 qcheck-stm.0.3
                              re.1.11.0 result.1.5 rresult.0.7.0 seq.base
                              sexplib.v0.16.0 sexplib0.v0.16.0
                              stdlib-shims.0.3.0 stdune.3.15.2 topkg.1.0.7
                              uutf.1.0.3 varray.0.2 zarith.1.13
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-11-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] -> afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5
                              base-bigarray.base base-threads.base
                              base-unix.base bos.0.2.1 camlp-streams.5.0.1
                              cmdliner.1.2.0 conf-gmp.4 cppo.1.6.9
                              csexp.1.5.2 deps_for_opam_dune_lint.opam
                              dune.3.15.2 dune-build-info.3.15.2
                              dune-private-libs.3.15.2 dune-site.3.15.2
                              dyn.3.15.2 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
                              logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1
                              menhir.20231231 menhirCST.20231231
                              menhirLib.20231231 menhirSdk.20231231
                              monolith.20230604 num.1.5 ocaml.4.14.2
                              ocaml-base-compiler.4.14.2
                              ocaml-compiler-libs.v0.12.4 ocaml-config.2
                              ocaml-options-vanilla.1
                              ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ocamlgraph.2.1.0 opam-core.2.1.5
                              opam-dune-lint.0.6 opam-file-format.2.1.6
                              opam-format.2.1.5 opam-repository.2.1.5
                              opam-state.2.1.5 ordering.3.15.2 ortac-core.dev
                              ortac-dune.dev ortac-examples.dev
                              ortac-monolith.dev ortac-qcheck-stm.dev
                              ortac-runtime.dev ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              parsexp.v0.16.0 pp.1.2.0 pp_loc.2.1.0
                              pprint.20230830 ppx_derivers.1.2.1
                              ppx_deriving.5.2.1 ppxlib.0.32.1
                              qcheck-core.0.21.3
                              qcheck-multicoretests-util.0.3 qcheck-stm.0.3
                              re.1.11.0 result.1.5 rresult.0.7.0 seq.base
                              sexplib.v0.16.0 sexplib0.v0.16.0
                              stdlib-shims.0.3.0 stdune.3.15.2 topkg.1.0.7
                              uutf.1.0.3 varray.0.2 zarith.1.13
2024-05-16 09:42.44 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:42.44 [INFO] = debian-10-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-38-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-39-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-40-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = opensuse-15.5-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-20.04-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-22.04-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-23.04-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-23.10-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-4.14+flambda_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = alpine-3.19-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-11-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-10-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-38-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-39-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = fedora-40-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = opensuse-15.5-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-20.04-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-22.04-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-23.04-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = ubuntu-23.10-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.1+flambda_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
2024-05-16 09:42.44 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 09:42.44 [INFO] Cancelled
Job succeeded
2024-05-16 09:42.46: Job cancelled


2024-05-16 09:42.46: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (0bdad08fb7e8f889d600aa06619fdb88cd179258)
2024-05-16 09:42.47: Waiting for worker…
Building on arm64-jade-2.equinix.ci.dev-23
2024-05-16 09:44.45 [INFO] Solving for ortac-wrapper.dev, ortac-runtime.dev,
                           ortac-runtime-qcheck-stm.dev,
                           ortac-runtime-monolith.dev, ortac-qcheck-stm.dev,
                           ortac-monolith.dev, ortac-examples.dev,
                           ortac-dune.dev, ortac-core.dev
2024-05-16 09:44.45 [INFO] debian-12-4.11_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.11_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.10_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.10_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.09_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.09_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.08_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.08_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.07_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.07_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.06_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.06_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.05_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.05_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.04_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.04_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.03_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.03_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.02_opam-2.1: not available for this platform
2024-05-16 09:44.45 [INFO] debian-12-4.02_opam-2.1: not available for this platform
2024-05-16 09:44.48 [INFO] freebsd-4.14_opam-2.1: found solution in 2.63 s
2024-05-16 09:44.49 [INFO] = freebsd-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] -> afl-persistent.1.4 alcotest.1.7.0 astring.0.8.5
                              base-bigarray.base base-threads.base
                              base-unix.base camlp-streams.5.0.1
                              cmdliner.1.2.0 conf-gmp.4 cppo.1.6.9
                              csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2
                              dune-private-libs.3.15.2 dune-site.3.15.2
                              dyn.3.15.2 fmt.0.9.0 gospel.0.3.0 logs.0.7.0
                              lwt-dllist.1.0.1 mdx.2.4.1 menhir.20231231
                              menhirCST.20231231 menhirLib.20231231
                              menhirSdk.20231231 monolith.20230604
                              ocaml.4.14.2 ocaml-base-compiler.4.14.2
                              ocaml-compiler-libs.v0.12.4 ocaml-config.2
                              ocaml-options-vanilla.1
                              ocaml-syntax-shims.1.0.0 ocaml-version.3.6.7
                              ocamlbuild.0.14.3 ocamlfind.1.9.6
                              ordering.3.15.2 ortac-core.dev ortac-dune.dev
                              ortac-examples.dev ortac-monolith.dev
                              ortac-qcheck-stm.dev ortac-runtime.dev
                              ortac-runtime-monolith.dev
                              ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
                              pp.1.2.0 pp_loc.2.1.0 pprint.20230830
                              ppx_derivers.1.2.1 ppx_deriving.5.2.1
                              ppxlib.0.32.1 qcheck-core.0.21.3
                              qcheck-multicoretests-util.0.3 qcheck-stm.0.3
                              re.1.11.0 result.1.5 seq.base sexplib0.v0.17.0
                              stdlib-shims.0.3.0 stdune.3.15.2 topkg.1.0.7
                              uutf.1.0.3 varray.0.2 zarith.1.13
2024-05-16 09:44.49 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
                                                                   307e33d08fc4ccc1ea453ab45b0ead8ed574b97b)
2024-05-16 09:44.49 [INFO] = freebsd-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = macos-homebrew-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = macos-homebrew-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = macos-homebrew-4.14_arm64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = macos-homebrew-5.1_arm64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = alpine-3.19-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = alpine-3.19-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1+flambda_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_x86_32_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_arm64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_arm32_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_ppc64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_s390x_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14+flambda_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_x86_32_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_arm64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_arm32_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_ppc64_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_s390x_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-11-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-11-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-10-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-10-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-38-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-38-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-39-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-39-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-40-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = fedora-40-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = opensuse-15.5-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = opensuse-15.5-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-20.04-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-20.04-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-22.04-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-22.04-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-23.04-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-23.04-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-23.10-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = ubuntu-23.10-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.1_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.0_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.14_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.13_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.12_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.11_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.10_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.09_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.08_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.07_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.06_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.05_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.04_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.03_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-4.02_opam-2.1 =
2024-05-16 09:44.49 [INFO] Not available for this platform
2024-05-16 09:44.49 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
2024-05-16 09:44.49 [INFO] = debian-12-5.2~beta2_opam-2.1 =
2024-05-16 09:44.49 [INFO] Cancelled
Job succeeded