2024-09-19 08:33.02: New job: Analyse 2024-09-19 08:33.02: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (164c8ecdbe88cb6ee4c0b137997c2e7f3763577e) 2024-09-19 08:34.08: Cancelling: Auto-cancelling job because it is no longer needed 2024-09-19 08:35.00: Waiting for worker… Building on okypous.caelum.ci.dev-1 2024-09-19 08:37.00 [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-09-19 08:37.03 [INFO] debian-12-4.02_opam-2.2: eliminated all possibilities in 1.30 s 2024-09-19 08:37.03 [INFO] debian-12-4.03_opam-2.2: eliminated all possibilities in 1.29 s 2024-09-19 08:37.03 [INFO] debian-12-4.04_opam-2.2: eliminated all possibilities in 1.27 s 2024-09-19 08:37.03 [INFO] debian-12-4.03_opam-2.2: eliminated all possibilities in 1.29 s 2024-09-19 08:37.03 [INFO] debian-12-4.04_opam-2.2: eliminated all possibilities in 1.31 s 2024-09-19 08:37.04 [INFO] debian-12-4.02_opam-2.2: eliminated all possibilities in 1.30 s 2024-09-19 08:37.04 [INFO] = debian-12-4.02_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.02_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.03_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.03_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.04_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.04_opam-2.2 = 2024-09-19 08:37.04 [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.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler 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+statmemprof: 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 ... - 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: Availability condition not satisfied ... 2024-09-19 08:37.04 [INFO] = debian-12-4.05_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.05_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.06_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.06_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.07_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.07_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.08_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.08_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.09_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.09_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.10_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.10_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.11_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.11_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.12_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.12_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.13_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.13_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = alpine-3.20-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-11-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = fedora-39-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = fedora-40-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = opensuse-15.6-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-20.04-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-22.04-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-24.04-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.14_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-4.14+flambda_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.0_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.0_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.1_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.1_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = alpine-3.20-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-11-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = fedora-39-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = fedora-40-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = opensuse-15.6-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-20.04-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-22.04-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = ubuntu-24.04-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.2_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled 2024-09-19 08:37.04 [INFO] = debian-12-5.2+flambda_opam-2.2 = 2024-09-19 08:37.04 [INFO] Cancelled Job succeeded 2024-09-19 08:37.04: Job cancelled 2024-09-19 08:37.04: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (164c8ecdbe88cb6ee4c0b137997c2e7f3763577e) 2024-09-19 08:38.49: Waiting for worker… Building on okypous.caelum.ci.dev-1 2024-09-19 08:40.40 [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-09-19 08:40.40 [INFO] debian-12-4.11_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.11_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.10_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.10_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.09_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.09_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.08_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.08_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.07_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.07_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.06_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.06_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.05_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.05_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.04_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.04_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.03_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.03_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.02_opam-2.2: not available for this platform 2024-09-19 08:40.40 [INFO] debian-12-4.02_opam-2.2: not available for this platform 2024-09-19 08:40.41 [INFO] debian-12-5.2_x86_32_opam-2.2: found solution in 1.21 s 2024-09-19 08:40.41 [INFO] freebsd-5.2_opam-2.2: found solution in 1.22 s 2024-09-19 08:40.41 [INFO] debian-12-5.2_ppc64_opam-2.2: found solution in 1.23 s 2024-09-19 08:40.41 [INFO] debian-12-5.2_s390x_opam-2.2: found solution in 1.23 s 2024-09-19 08:40.41 [INFO] macos-homebrew-5.2_arm64_opam-2.2: found solution in 1.23 s 2024-09-19 08:40.41 [INFO] debian-12-5.2+flambda_opam-2.2: found solution in 1.24 s 2024-09-19 08:40.41 [INFO] debian-12-5.2_arm32_opam-2.2: found solution in 1.25 s 2024-09-19 08:40.41 [INFO] macos-homebrew-4.14_arm64_opam-2.2: found solution in 1.25 s 2024-09-19 08:40.41 [INFO] freebsd-4.14_opam-2.2: found solution in 1.26 s 2024-09-19 08:40.41 [INFO] debian-12-4.14+flambda_opam-2.2: found solution in 1.26 s 2024-09-19 08:40.41 [INFO] macos-homebrew-4.14_opam-2.2: found solution in 1.27 s 2024-09-19 08:40.41 [INFO] debian-12-5.2_arm64_opam-2.2: found solution in 1.27 s 2024-09-19 08:40.41 [INFO] alpine-3.20-4.14_opam-2.2: found solution in 1.29 s 2024-09-19 08:40.41 [INFO] alpine-3.20-5.2_opam-2.2: found solution in 1.30 s 2024-09-19 08:40.41 [INFO] debian-12-4.14_x86_32_opam-2.2: found solution in 1.29 s 2024-09-19 08:40.41 [INFO] macos-homebrew-5.2_opam-2.2: found solution in 1.36 s 2024-09-19 08:40.41 [INFO] = freebsd-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = freebsd-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = macos-homebrew-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = macos-homebrew-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = macos-homebrew-4.14_arm64_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-arm64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = macos-homebrew-5.2_arm64_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-arm64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = alpine-3.20-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = alpine-3.20-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-5.2+flambda_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml-variants.5.2.0+options ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 82daa280c098bca2078278a9e904c16090ce56be) 2024-09-19 08:40.41 [INFO] = debian-12-5.2_x86_32_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_32.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-5.2_arm64_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-arm64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-5.2_arm32_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-arm32.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-option-bytecode-only.1 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-5.2_ppc64_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-ppc64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-5.2_s390x_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-s390x.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-4.14+flambda_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 monolith.20230604 ocaml.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-syntax-shims.1.0.0 ocaml-variants.4.14.2+options ocaml-version.3.6.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-4.14_x86_32_opam-2.2 = 2024-09-19 08:40.41 [INFO] -> afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.4 conf-pkg-config.3 cppo.1.7.0 csexp.1.5.2 dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0 dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gospel.0.3.0 host-arch-x86_32.1 host-system-other.1 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 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.8 ocamlbuild.0.15.0 ocamlfind.1.9.6 ordering.3.16.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 pp.1.2.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.2 ppxlib.0.33.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 stdune.3.16.0 topkg.1.0.7 uutf.1.0.3 varray.0.2 zarith.1.14 2024-09-19 08:40.41 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git, 45f961713f04a0d83218c0eb2706131a40f96d54) 2024-09-19 08:40.41 [INFO] = debian-12-4.14_arm64_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.14_arm32_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.14_ppc64_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.14_s390x_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-11-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-11-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = fedora-39-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = fedora-39-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = fedora-40-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = fedora-40-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = opensuse-15.6-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = opensuse-15.6-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-20.04-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-20.04-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-22.04-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-22.04-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-24.04-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = ubuntu-24.04-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.2_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.1_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.1_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.0_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-5.0_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.14_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.13_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.13_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.12_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.12_opam-2.2 = 2024-09-19 08:40.41 [INFO] Cancelled 2024-09-19 08:40.41 [INFO] = debian-12-4.11_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.11_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.10_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.10_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.09_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.09_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.08_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.08_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.07_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.07_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.06_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.06_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.05_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.05_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.04_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.04_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.03_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.03_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.02_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform 2024-09-19 08:40.41 [INFO] = debian-12-4.02_opam-2.2 = 2024-09-19 08:40.41 [INFO] Not available for this platform Job succeeded