2024-12-15 22:42.05: New job: Analyse
2024-12-15 22:42.05: Waiting for resource in pool analyse
2024-12-15 22:45.39: Got resource from pool analyse
2024-12-15 22:45.39: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (a214755e8f60937dc950400dfbdbd51f71a3597b)
2024-12-15 22:47.08: Waiting for worker…
2024-12-15 22:49.20: Cancelling: Auto-cancelling job because it is no longer needed
Building on ainia.caelum.ci.dev-1
2024-12-15 22:49.43 [INFO] Solving for deps_for_opam_dune_lint.opam,
ppxlib.dev, ppxlib-tools.dev, ppxlib-bench.dev
2024-12-15 22:49.47 [INFO] debian-12-4.02_opam-2.3: eliminated all possibilities in 1.44 s
2024-12-15 22:49.47 [INFO] debian-12-4.02_opam-2.3: eliminated all possibilities in 1.43 s
2024-12-15 22:49.47 [INFO] = debian-12-4.02_opam-2.3 =
2024-12-15 22:49.47 [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.3.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~beta1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~alpha1+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-12-15 22:49.47 [INFO] = debian-12-4.02_opam-2.3 =
2024-12-15 22:49.47 [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.3.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~beta1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.3.0~alpha1+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-12-15 22:49.47 [INFO] = debian-12-4.03_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.03_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.04_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.04_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.05_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.05_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.06_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.06_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.07_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.07_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.08_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.08_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.09_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.09_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.10_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.10_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.11_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.11_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.12_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.12_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.13_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.13_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = alpine-3.20-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-11-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = fedora-40-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = fedora-41-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = opensuse-15.6-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-20.04-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-22.04-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-24.04-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-24.10-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.14_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-4.14+flambda_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.0_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.0_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.1_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.1_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = alpine-3.20-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-11-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = fedora-40-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = fedora-41-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = opensuse-15.6-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-20.04-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-22.04-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-24.04-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = ubuntu-24.10-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.2_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.2+flambda_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.3~beta1_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
2024-12-15 22:49.47 [INFO] = debian-12-5.3~beta1_opam-2.3 =
2024-12-15 22:49.47 [INFO] Cancelled
Job succeeded
2024-12-15 22:49.47: Job cancelled
2024-12-15 22:49.47: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (a214755e8f60937dc950400dfbdbd51f71a3597b)
2024-12-15 22:52.11: Waiting for worker…
Building on molpadia.caelum.ci.dev-1
2024-12-15 22:54.32 [INFO] Solving for ppxlib.dev, ppxlib-tools.dev,
ppxlib-bench.dev
2024-12-15 22:54.32 [INFO] debian-12-4.03_opam-2.3: not available for this platform
2024-12-15 22:54.32 [INFO] debian-12-4.03_opam-2.3: not available for this platform
2024-12-15 22:54.32 [INFO] debian-12-4.02_opam-2.3: not available for this platform
2024-12-15 22:54.32 [INFO] debian-12-4.02_opam-2.3: not available for this platform
2024-12-15 22:54.33 [INFO] = windows-server-2022-amd64-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = windows-server-2022-amd64-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = openbsd-76-amd64-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = openbsd-76-amd64-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = freebsd-14.1-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = freebsd-14.1-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = macos-homebrew-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = macos-homebrew-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = macos-homebrew-4.14_arm64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = macos-homebrew-5.2_arm64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = alpine-3.20-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = alpine-3.20-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2+flambda_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_x86_32_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_arm64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_arm32_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_ppc64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_s390x_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14+flambda_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_x86_32_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_arm64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_arm32_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_ppc64_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_s390x_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-11-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-11-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = fedora-40-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = fedora-40-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = fedora-41-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = fedora-41-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = opensuse-15.6-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = opensuse-15.6-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-20.04-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-20.04-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-22.04-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-22.04-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-24.04-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-24.04-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-24.10-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = ubuntu-24.10-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.2_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.1_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.1_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.0_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.0_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.14_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.13_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.13_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.12_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.12_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.11_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.11_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.10_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.10_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.09_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.09_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.08_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.08_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.07_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.07_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.06_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.06_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.05_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.05_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.04_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.04_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-4.03_opam-2.3 =
2024-12-15 22:54.33 [INFO] Not available for this platform
2024-12-15 22:54.33 [INFO] = debian-12-4.03_opam-2.3 =
2024-12-15 22:54.33 [INFO] Not available for this platform
2024-12-15 22:54.33 [INFO] = debian-12-4.02_opam-2.3 =
2024-12-15 22:54.33 [INFO] Not available for this platform
2024-12-15 22:54.33 [INFO] = debian-12-4.02_opam-2.3 =
2024-12-15 22:54.33 [INFO] Not available for this platform
2024-12-15 22:54.33 [INFO] = debian-12-5.3~beta1_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
2024-12-15 22:54.33 [INFO] = debian-12-5.3~beta1_opam-2.3 =
2024-12-15 22:54.33 [INFO] Cancelled
Job succeeded