2025-11-27 16:11.41: New job: Analyse
2025-11-27 16:11.41: Waiting for resource in pool analyse
2025-11-27 16:12.44: Got resource from pool analyse
2025-11-27 16:12.44: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (2976c6009392345faa7159ac8a8990d17ec43e59)
2025-11-27 16:13.40: Waiting for worker…
2025-11-27 16:14.18: Cancelling: Auto-cancelling job because it is no longer needed
Building on okypous.caelum.ci.dev-1
2025-11-27 16:14.26 [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
2025-11-27 16:14.27 [INFO] debian-13-4.10_opam-2.4: found solution in 0.31 s
2025-11-27 16:14.27 [INFO] debian-13-4.11_opam-2.4: found solution in 0.31 s
2025-11-27 16:14.27 [INFO] debian-13-4.08_opam-2.4: found solution in 0.33 s
2025-11-27 16:14.27 [INFO] debian-13-4.09_opam-2.4: found solution in 0.33 s
2025-11-27 16:14.27 [INFO] debian-13-4.11_opam-2.4: found solution in 0.37 s
2025-11-27 16:14.27 [INFO] debian-13-4.09_opam-2.4: found solution in 0.37 s
2025-11-27 16:14.27 [INFO] debian-13-4.08_opam-2.4: found solution in 0.38 s
2025-11-27 16:14.27 [INFO] debian-13-4.10_opam-2.4: found solution in 0.38 s
2025-11-27 16:14.27 [INFO] debian-12-4.14_opam-2.4: found solution in 0.91 s
2025-11-27 16:14.27 [INFO] debian-13-4.13_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] debian-13-4.12_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] fedora-43-4.14_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] fedora-42-4.14_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] opensuse-15.6-4.14_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] alpine-3.22-4.14_opam-2.4: found solution in 0.94 s
2025-11-27 16:14.27 [INFO] opensuse-16.0-4.14_opam-2.4: found solution in 0.95 s
2025-11-27 16:14.29 [INFO] debian-13-4.13_opam-2.4: found solution in 1.13 s
2025-11-27 16:14.29 [INFO] debian-13-4.12_opam-2.4: found solution in 1.15 s
2025-11-27 16:14.29 [INFO] = debian-13-4.08_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> astring.0.8.5 base.v0.14.3 base-bigarray.base
base-threads.base base-unix.base bos.0.2.1
cmdliner.2.1.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-configurator.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 jsonm.1.0.2 logs.0.8.0
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912 num.1.6
ocaml.4.08.1 ocaml-base-compiler.4.08.1
ocaml-config.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 ocamlgraph.2.2.0
opam-core.2.4.1 opam-dune-lint.0.6
opam-file-format.2.2.0 opam-format.2.4.1
opam-repository.2.4.1 opam-state.2.4.1
ordering.3.20.2 parsexp.v0.14.2 patch.3.1.0
pp.2.0.0 re.1.11.0 rresult.0.7.0 seq.base
sexplib.v0.14.0 sexplib0.v0.14.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
8a324a5b9945e0e515da441ede437f3756caa83d)
2025-11-27 16:14.29 [INFO] = debian-13-4.08_opam-2.4 =
2025-11-27 16:14.29 [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.3.0
conf-m4.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-configurator.2.5.1 dune-private-libs.2.5.1
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3
jbuilder.1.0+beta20.1 logs.0.7.0 num.1.5
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.15.3 parsexp.v0.14.0 pp.1.2.0
re.1.9.0 result.1.5 rresult.0.6.0 seq.0.3
sexplib.v0.14.0 sexplib0.v0.14.0 stdune.3.15.3
topkg.1.0.8
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = debian-13-4.09_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> astring.0.8.5 base.v0.14.3 base-bigarray.base
base-threads.base base-unix.base bos.0.2.1
cmdliner.2.1.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-configurator.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 jsonm.1.0.2 logs.0.8.0
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912 num.1.6
ocaml.4.09.1 ocaml-base-compiler.4.09.1
ocaml-config.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 ocamlgraph.2.2.0
opam-core.2.4.1 opam-dune-lint.0.6
opam-file-format.2.2.0 opam-format.2.4.1
opam-repository.2.4.1 opam-state.2.4.1
ordering.3.20.2 parsexp.v0.14.2 patch.3.1.0
pp.2.0.0 re.1.11.0 rresult.0.7.0 seq.base
sexplib.v0.14.0 sexplib0.v0.14.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
8a324a5b9945e0e515da441ede437f3756caa83d)
2025-11-27 16:14.29 [INFO] = debian-13-4.09_opam-2.4 =
2025-11-27 16:14.29 [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.3.0
conf-m4.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-configurator.2.5.1 dune-private-libs.2.5.1
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3
jbuilder.1.0+beta20.1 logs.0.7.0 num.1.5
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.15.3 parsexp.v0.14.0 pp.1.2.0
re.1.9.0 result.1.5 rresult.0.6.0 seq.0.3
sexplib.v0.14.0 sexplib0.v0.14.0 stdune.3.15.3
topkg.1.0.8
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = debian-13-4.10_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> astring.0.8.5 base.v0.15.1 base-bigarray.base
base-threads.base base-unix.base bos.0.2.1
cmdliner.2.1.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-configurator.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 jsonm.1.0.2 logs.0.8.0
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912 num.1.6
ocaml.4.10.2 ocaml-base-compiler.4.10.2
ocaml-config.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 ocamlgraph.2.2.0
opam-core.2.4.1 opam-dune-lint.0.6
opam-file-format.2.2.0 opam-format.2.4.1
opam-repository.2.4.1 opam-state.2.4.1
ordering.3.20.2 parsexp.v0.15.0 patch.3.1.0
pp.2.0.0 re.1.11.0 rresult.0.7.0 seq.base
sexplib.v0.15.1 sexplib0.v0.15.1 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
8a324a5b9945e0e515da441ede437f3756caa83d)
2025-11-27 16:14.29 [INFO] = debian-13-4.10_opam-2.4 =
2025-11-27 16:14.29 [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.3.0
conf-m4.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-configurator.2.5.1 dune-private-libs.2.5.1
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3
jbuilder.1.0+beta20.1 logs.0.7.0 num.1.5
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 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.15.3 parsexp.v0.14.0 pp.1.2.0
re.1.9.0 result.1.5 rresult.0.6.0 seq.0.3
sexplib.v0.14.0 sexplib0.v0.14.0 stdune.3.15.3
topkg.1.0.8
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = debian-13-4.11_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> astring.0.8.5 base.v0.15.1 base-bigarray.base
base-threads.base base-unix.base bos.0.2.1
cmdliner.2.1.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-configurator.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 jsonm.1.0.2 logs.0.8.0
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912 num.1.6
ocaml.4.11.2 ocaml-base-compiler.4.11.2
ocaml-config.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 ocamlgraph.2.2.0
opam-core.2.4.1 opam-dune-lint.0.6
opam-file-format.2.2.0 opam-format.2.4.1
opam-repository.2.4.1 opam-state.2.4.1
ordering.3.20.2 parsexp.v0.15.0 patch.3.1.0
pp.2.0.0 re.1.11.0 rresult.0.7.0 seq.base
sexplib.v0.15.1 sexplib0.v0.15.1 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
8a324a5b9945e0e515da441ede437f3756caa83d)
2025-11-27 16:14.29 [INFO] = debian-13-4.11_opam-2.4 =
2025-11-27 16:14.29 [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.3.0
conf-m4.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-configurator.2.5.1 dune-private-libs.2.5.1
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3
jbuilder.1.0+beta20.1 logs.0.7.0 num.1.5
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 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.15.3 parsexp.v0.14.0 pp.1.2.0
re.1.9.0 result.1.5 rresult.0.6.0 seq.0.3
sexplib.v0.14.0 sexplib0.v0.14.0 stdune.3.15.3
topkg.1.0.8
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = debian-13-4.12_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 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.3.0 conf-gmp.5
conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-configurator.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2
dyn.3.20.2 fmt.0.11.0 fpath.0.7.3 gospel.0.3.0
jsonm.1.0.2 logs.0.8.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 num.1.6 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.12.0 result.1.5 rresult.0.7.0 seq.base
sexplib.v0.15.1 sexplib0.v0.15.1 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = debian-13-4.12_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5
base.v0.14.1 base-bigarray.base base-bytes.base
base-threads.base base-unix.base bos.0.2.0
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-m4.1 conf-perl.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-build-info.2.9.3 dune-configurator.2.9.3
dune-private-libs.3.15.3 dune-site.3.15.3
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
jbuilder.1.0+beta20.1 logs.0.7.0 mdx.2.3.0
menhir.20181006 monolith.20201026 num.1.5
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.3.5.0
ocamlbuild.0.14.0 ocamlfind.1.8.1
ocamlgraph.1.8.8 odoc-parser.1.0.1
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.15.3 ortac-core.dev ortac-dune.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.2.0 pp_loc.2.1.0
pprint.20200410 ppx_derivers.1.0
ppx_deriving.5.2.1 ppxlib.0.26.0
qcheck-core.0.25 qcheck-multicoretests-util.0.8
qcheck-stm.0.8 re.1.9.0 result.1.5
rresult.0.6.0 seq.0.3 sexplib.v0.14.0
sexplib0.v0.14.0 stdlib-shims.0.1.0
stdune.3.15.3 topkg.1.0.8 uuidm.0.9.7
zarith.1.7-1
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = debian-13-4.13_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 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.3.0 conf-gmp.5
conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-configurator.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2
dyn.3.20.2 fmt.0.11.0 fpath.0.7.3 gospel.0.3.0
jsonm.1.0.2 logs.0.8.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 num.1.6 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.15.1 sexplib0.v0.15.1 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = debian-13-4.13_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5
base.v0.14.1 base-bigarray.base base-bytes.base
base-threads.base base-unix.base bos.0.2.0
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-perl.1 cppo.1.6.1 csexp.1.5.1
deps_for_opam_dune_lint.opam dune.3.12.1
dune-build-info.2.9.3 dune-configurator.2.9.3
dune-private-libs.3.15.3 dune-site.3.15.3
dyn.3.15.3 fmt.0.9.0 fpath.0.7.3 gospel.0.3.0
jbuilder.1.0+beta20.1 logs.0.7.0 mdx.2.3.0
menhir.20181006 monolith.20201026 num.1.5
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.3.5.0
ocamlbuild.0.14.0 ocamlfind.1.9.1
ocamlgraph.1.8.8 odoc-parser.1.0.1
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.15.3 ortac-core.dev ortac-dune.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.2.0 pp_loc.2.1.0
pprint.20200410 ppx_derivers.1.0
ppx_deriving.5.2.1 ppxlib.0.26.0
qcheck-core.0.25 qcheck-multicoretests-util.0.8
qcheck-stm.0.8 re.1.9.0 result.1.5
rresult.0.6.0 seq.0.3 sexplib.v0.14.0
sexplib0.v0.14.0 stdlib-shims.0.1.0
stdune.3.15.3 topkg.1.0.8 uuidm.0.9.7
zarith.1.7-1
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:14.29 [INFO] = alpine-3.22-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = debian-12-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = fedora-42-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = fedora-43-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = opensuse-15.6-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = opensuse-16.0-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base bos.0.2.1 camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2
deps_for_opam_dune_lint.opam dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
fpath.0.7.3 gospel.0.3.0 jsonm.1.0.2
logs.0.10.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922 num.1.6
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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ocamlgraph.2.2.0 opam-core.2.4.1
opam-dune-lint.0.6 opam-file-format.2.2.0
opam-format.2.4.1 opam-repository.2.4.1
opam-state.2.4.1 ordering.3.20.2 ortac-core.dev
ortac-dune.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 patch.3.1.0 pp.2.0.0
pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1
ppx_deriving.6.0.3 ppxlib.0.35.0
qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 rresult.0.7.0
sexplib.v0.16.0 sexplib0.v0.16.0 sha.1.15.4
spdx_licenses.1.4.0 stdlib-shims.0.3.0
stdune.3.20.2 swhid_core.0.1 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:14.29 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
d47c23cc20f87a07f45669f51840a1718e180264)
2025-11-27 16:14.29 [INFO] = ubuntu-22.04-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-24.04-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-25.04-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-25.10-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-4.14_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-4.14+flambda_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.0_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.0_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.1_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.1_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.2_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.2_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.3_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.3_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = alpine-3.22-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-12-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = fedora-42-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = fedora-43-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = opensuse-15.6-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = opensuse-16.0-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-22.04-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-24.04-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-25.04-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = ubuntu-25.10-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.4_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
2025-11-27 16:14.29 [INFO] = debian-13-5.4+flambda_opam-2.4 =
2025-11-27 16:14.29 [INFO] Cancelled
Job succeeded
2025-11-27 16:14.30: Job cancelled
2025-11-27 16:14.30: Solving with opam-repository commit: https://github.com/ocaml/opam-repository.git#refs/heads/master (2976c6009392345faa7159ac8a8990d17ec43e59)
2025-11-27 16:15.31: Waiting for worker…
Building on ainia.caelum.ci.dev-1
2025-11-27 16:16.26 [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
2025-11-27 16:16.26 [INFO] debian-13-4.11_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.11_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.10_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.10_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.09_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.09_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.08_opam-2.4: not available for this platform
2025-11-27 16:16.26 [INFO] debian-13-4.08_opam-2.4: not available for this platform
2025-11-27 16:16.27 [INFO] debian-13-4.14_ppc64_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.27 [INFO] debian-13-4.14_arm32_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.27 [INFO] openbsd-77-amd64-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.27 [INFO] fedora-42-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.27 [INFO] debian-13-4.14_arm64_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] macos-homebrew-4.14_arm64_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] debian-13-4.14_x86_32_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] fedora-43-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] debian-12-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] debian-13-4.14_s390x_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] opensuse-15.6-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] opensuse-16.0-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] debian-13-4.14+flambda_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] windows-server-2022-amd64-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] ubuntu-25.10-4.14_opam-2.4: found solution in 0.41 s
2025-11-27 16:16.28 [INFO] ubuntu-24.04-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.28 [INFO] alpine-3.22-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.28 [INFO] ubuntu-25.04-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.28 [INFO] debian-13-4.14_riscv64_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.30 [INFO] freebsd-14.3-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.30 [INFO] macos-homebrew-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.30 [INFO] debian-13-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.30 [INFO] ubuntu-22.04-4.14_opam-2.4: found solution in 0.42 s
2025-11-27 16:16.30 [INFO] debian-13-5.2_opam-2.4: found solution in 0.48 s
2025-11-27 16:16.30 [INFO] debian-13-5.3_opam-2.4: found solution in 0.48 s
2025-11-27 16:16.30 [INFO] debian-13-5.3_opam-2.4: found solution in 0.48 s
2025-11-27 16:16.30 [INFO] debian-13-5.2_opam-2.4: found solution in 0.49 s
2025-11-27 16:16.30 [INFO] debian-13-4.14_opam-2.4: found solution in 0.55 s
2025-11-27 16:16.30 [INFO] debian-13-5.4+flambda_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] macos-homebrew-5.4_arm64_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_x86_32_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] windows-server-2022-amd64-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_arm64_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_arm32_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_ppc64_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_s390x_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.0_opam-2.4: eliminated all possibilities in 0.43 s
2025-11-27 16:16.30 [INFO] debian-13-5.1_opam-2.4: eliminated all possibilities in 0.43 s
2025-11-27 16:16.30 [INFO] macos-homebrew-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] ubuntu-25.10-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] fedora-43-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_riscv64_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] alpine-3.22-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] freebsd-14.3-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] opensuse-15.6-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] fedora-42-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-12-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] opensuse-16.0-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] openbsd-77-amd64-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] ubuntu-24.04-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.1_opam-2.4: eliminated all possibilities in 0.43 s
2025-11-27 16:16.30 [INFO] ubuntu-22.04-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.0_opam-2.4: eliminated all possibilities in 0.43 s
2025-11-27 16:16.30 [INFO] ubuntu-25.04-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] debian-13-5.4_opam-2.4: eliminated all possibilities in 0.44 s
2025-11-27 16:16.30 [INFO] = windows-server-2022-amd64-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 arch-x86_64.1
astring.0.8.5 base-bigarray.base
base-threads.base base-unix.base
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-mingw-w64-gcc-x86_64.1
conf-mingw-w64-gmp-x86_64.1 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 flexdll.0.44
fmt.0.11.0 gospel.0.3.0 host-arch-x86_64.1
host-system-mingw.1 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
mingw-w64-shims.0.2.0 monolith.20250922
ocaml.4.14.2 ocaml-base-compiler.4.14.2
ocaml-compiler-libs.v0.12.4 ocaml-config.3
ocaml-env-mingw64.1 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 system-mingw.1
topkg.1.1.1 uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = windows-server-2022-amd64-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 arch-x86_64.1 astring.0.8.5
backoff.0.1.1 base-bigarray.base base-domains.base
base-effects.base base-nnp.base base-threads.base base-unix.base
camlp-streams.5.0.1 cmdliner.2.1.0 conf-gmp.5
conf-mingw-w64-gcc-i686.1 conf-mingw-w64-gcc-x86_64.1
conf-mingw-w64-gmp-i686.1 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 flexdll.0.44 fmt.0.11.0
host-arch-x86_64.1 host-system-mingw.1 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 mingw-w64-shims.0.2.0 monolith.20250922
multicore-magic.2.3.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3
ocaml-env-mingw32.1 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 system-mingw.1 topkg.1.1.1 uutf.1.0.4 varray.0.2
zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw&mingw-w64-shims
arch-x86_64&system-mingw&mingw-w64-shims|system-msvc&winpthreads&ocaml-option-no-compression
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-base-compiler ocaml-env-mingw32 ocaml-base-compiler
conf-mingw-w64-gcc-x86_64 ocaml-variants
host-arch-x86_32&conf-mingw-w64-gmp-i686 ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- host-arch-x86_32 -> (problem)
Rejected candidates:
host-arch-x86_32.1: In same conflict class (ocaml-host-arch) as host-arch-x86_64
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
2025-11-27 16:16.30 [INFO] = openbsd-77-amd64-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = openbsd-77-amd64-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = freebsd-14.3-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = freebsd-14.3-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = macos-homebrew-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = macos-homebrew-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = macos-homebrew-4.14_arm64_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = macos-homebrew-5.4_arm64_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = alpine-3.22-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = alpine-3.22-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-5.4+flambda_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-syntax-shims.1.0.0
ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.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.2.0.0 pprint.20230830 ppx_derivers.1.2.1
ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10
qcheck-stm.0.10 re.1.14.0 result.1.5 saturn.1.0.0 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2
zarith.1.14
ocaml-variants&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler base-domains ocaml ocaml
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> (problem)
Rejected candidates:
ocaml-base-compiler.5.4.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
ocaml-base-compiler.5.4.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
ocaml-base-compiler.5.4.0~beta2: In same conflict class (ocaml-core-compiler) as ocaml-variants
ocaml-base-compiler.5.4.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
ocaml-base-compiler.5.4.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
...
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-variants 5.4.0+options requires = 5.4.0
- ocaml-variants -> ocaml-variants.5.4.0+options
User requested = 5.4.0+options
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_x86_32_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
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.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.16.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_arm64_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_arm32_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
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.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_ppc64_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_s390x_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_riscv64_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-4.14+flambda_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.2 ortac-core.dev
ortac-dune.dev ortac-monolith.dev
ortac-qcheck-stm.dev ortac-runtime.dev
ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid snce opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_x86_32_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.16.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_arm64_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_arm32_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_ppc64_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_s390x_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_riscv64_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-12-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-12-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = fedora-42-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = fedora-42-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = fedora-43-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = fedora-43-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = opensuse-15.6-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = opensuse-15.6-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = opensuse-16.0-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = opensuse-16.0-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = ubuntu-22.04-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = ubuntu-22.04-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = ubuntu-24.04-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = ubuntu-24.04-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = ubuntu-25.04-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = ubuntu-25.04-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = ubuntu-25.10-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = ubuntu-25.10-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1
base-bigarray.base base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1
cmdliner.2.1.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 logs.0.10.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20250922 multicore-magic.2.3.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler ocaml base-domains
ocaml-variants ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.4_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5 base-bigarray.base
base-bytes.base base-domains.base base-effects.base base-nnp.base
base-threads.base base-unix.base camlp-streams.5.0.1 conf-gmp.5
conf-perl.1 cppo.1.6.7 csexp.1.3.2 dune.3.10.0
dune-build-info.2.9.3 fmt.0.9.0 logs.0.7.0 lwt-dllist.1.1.0
mdx.2.5.1 monolith.20201026 ocaml-compiler-libs.v0.17.0
ocaml-config.3 ocaml-options-vanilla.1 ocaml-version.3.5.0
ocamlbuild.0.14.3 ocamlfind.1.9.6 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 pprint.20200410
ppx_derivers.1.0 ppxlib.0.37.0 qcheck-core.0.25 qcheck-stm.0.8
re.1.7.2 result.1.5 seq.0.3 sexplib0.v0.15.1 stdlib-shims.0.1.0
topkg.1.0.8 uuidm.0.9.8 varray.0.2 zarith.1.7-1
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw system-mingw|system-msvc&winpthreads
ocaml-base-compiler ocaml-base-compiler base-domains ocaml
ocaml-variants dune ocaml-base-compiler
- cmdliner -> cmdliner.1.3.0
alcotest 1.0.1 requires >= 1.0.3 & < 2.0.0
- dune-site -> (problem)
Rejected candidates:
dune-site.3.20.2: Requires dune >= 3.20
dune-site.3.20.1: Requires dune >= 3.20
dune-site.3.20.0: Requires dune >= 3.20
dune-site.3.19.1: Requires dune >= 3.18
dune-site.3.19.0: Requires dune >= 3.18
...
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires ppxlib >= 0.26.0 & < 0.36.0
gospel.0.2.0: Requires ppxlib >= 0.26.0 & < 0.36.0
gospel.0.1.0: Requires ppxlib >= 0.23.0 & < 0.26.0
- jbuilder -> (problem)
dune 3.10.0 requires not(= transition)
Rejected candidates:
jbuilder.transition: Incompatible with restriction: not(= transition)
jbuilder.1.0+beta20.2: Requires ocaml >= 4.02.3 & < 5.0
jbuilder.1.0+beta20.1: Requires ocaml >= 4.02.3 & < 5.0
- ocaml -> ocaml.5.4.0
ocaml-compiler 5.4.0 requires = 5.4.0
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0
User requested = 5.4.0
- ocaml-compiler -> ocaml-compiler.5.4.0
ocaml-base-compiler 5.4.0 requires = 5.4.0
- ocaml-variants -> (problem)
Rejected candidates:
ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
...
- qcheck-multicoretests-util -> qcheck-multicoretests-util.0.8
qcheck-stm 0.8 requires = 0.8
- saturn -> (problem)
ortac-examples dev requires = 1.0.0
Rejected candidates:
saturn.1.0.0: Requires dune >= 3.14
saturn.0.5.0: Incompatible with restriction: = 1.0.0
saturn.0.4.1: Incompatible with restriction: = 1.0.0
saturn.0.4.0: Incompatible with restriction: = 1.0.0
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
- ocaml|ocaml&ocamlfind-secondary -> (problem)
Rejected candidates:
ocaml&ocamlfind-secondary: Requires ocaml >= 4.02 & < 4.08~~
ocaml: Requires ocaml >= 4.08 & < 5.3
2025-11-27 16:16.30 [INFO] = debian-13-5.3_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
backoff.0.1.1 base-bigarray.base
base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2
dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.10.0
lwt-dllist.1.1.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922
multicore-magic.2.3.1 ocaml.5.3.0
ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0
ocaml-compiler-libs.v0.17.0 ocaml-config.3
ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.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.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 saturn.1.0.0
sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2
zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-5.3_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5
backoff.0.1.1 base-bigarray.base
base-domains.base base-effects.base
base-nnp.base base-threads.base base-unix.base
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-perl.1 cppo.1.6.7 csexp.1.5.1 dune.3.15.3
dune-build-info.2.9.3 dune-private-libs.3.15.3
dune-site.3.15.3 dyn.3.15.3 fmt.0.9.0
gospel.0.3.0 logs.0.7.0 lwt-dllist.1.1.0
mdx.2.5.0 menhir.20200123 menhirLib.20200123
menhirSdk.20200123 monolith.20201026
multicore-magic.2.3.1 ocaml.5.3.0
ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0
ocaml-compiler-libs.v0.17.0 ocaml-config.3
ocaml-options-vanilla.1 ocaml-version.3.5.0
ocamlbuild.0.14.3 ocamlfind.1.9.6
ordering.3.15.3 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.20200410
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.34.0 qcheck-core.0.25
qcheck-multicoretests-util.0.8 qcheck-stm.0.8
re.1.9.0 result.1.5 saturn.1.0.0 seq.0.3
sexplib0.v0.15.1 stdlib-shims.0.1.0
stdune.3.15.3 topkg.1.0.8 uuidm.0.9.8
varray.0.2 zarith.1.7-1
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:16.30 [INFO] = debian-13-5.2_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
backoff.0.1.1 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.5
conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2
dune.3.20.2 dune-build-info.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2
dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.10.0
lwt-dllist.1.1.0 mdx.2.5.1 menhir.20250912
menhirCST.20250912 menhirLib.20250912
menhirSdk.20250912 monolith.20250922
multicore-magic.2.3.1 ocaml.5.2.1
ocaml-base-compiler.5.2.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3
ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.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.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 saturn.1.0.0
sexplib0.v0.17.0 stdlib-shims.0.3.0
stdune.3.20.2 topkg.1.1.1 uutf.1.0.4 varray.0.2
zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-5.2_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5
backoff.0.1.1 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.5
conf-perl.1 cppo.1.6.7 csexp.1.5.1 dune.3.15.3
dune-build-info.2.9.3 dune-private-libs.3.15.3
dune-site.3.15.3 dyn.3.15.3 fmt.0.9.0
gospel.0.3.0 logs.0.7.0 lwt-dllist.1.1.0
mdx.2.4.0 menhir.20200123 menhirLib.20200123
menhirSdk.20200123 monolith.20201026
multicore-magic.2.3.1 ocaml.5.2.1
ocaml-base-compiler.5.2.1
ocaml-compiler-libs.v0.17.0 ocaml-config.3
ocaml-options-vanilla.1 ocaml-version.3.5.0
ocamlbuild.0.14.3 ocamlfind.1.9.6
ordering.3.15.3 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.20200410
ppx_derivers.1.2.1 ppx_deriving.5.2.1
ppxlib.0.33.0 qcheck-core.0.25
qcheck-multicoretests-util.0.8 qcheck-stm.0.8
re.1.9.0 result.1.5 saturn.1.0.0 seq.0.3
sexplib0.v0.15.1 stdlib-shims.0.1.0
stdune.3.15.3 topkg.1.0.8 uuidm.0.9.8
varray.0.2 zarith.1.7-1
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:16.30 [INFO] = debian-13-5.1_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 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.2.1.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
logs.0.10.0 lwt-dllist.1.1.0 mdx.2.5.1 monolith.20250922
ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2
topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw ocaml-base-compiler ocaml-base-compiler ocaml
base-domains ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.1.1
ocaml-base-compiler 5.1.1 requires = 5.1.1
- ocaml-base-compiler -> ocaml-base-compiler.5.1.1
User requested = 5.1.1
- saturn -> (problem)
ortac-examples dev requires = 1.0.0
Rejected candidates:
saturn.1.0.0: Requires ocaml >= 4.14 & < 5.0.0 | >= 5.2.0
saturn.0.5.0: Incompatible with restriction: = 1.0.0
saturn.0.4.1: Incompatible with restriction: = 1.0.0
saturn.0.4.0: Incompatible with restriction: = 1.0.0
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.1_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5 base-bigarray.base
base-bytes.base base-domains.base base-nnp.base base-threads.base
base-unix.base camlp-streams.5.0.1 conf-gmp.5 conf-perl.1
cppo.1.6.1 csexp.1.3.2 dune.3.10.0 dune-build-info.2.9.3 fmt.0.9.0
logs.0.7.0 lwt-dllist.1.1.0 mdx.2.3.1 monolith.20201026
ocaml-compiler-libs.v0.11.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-version.3.5.0 ocamlbuild.0.14.2 ocamlfind.1.9.6
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 pprint.20200410
ppx_derivers.1.0 ppxlib.0.31.0 qcheck-core.0.25 qcheck-stm.0.8
re.1.7.2 result.1.5 seq.0.3 sexplib0.v0.15.1 stdlib-shims.0.1.0
topkg.1.0.8 uuidm.0.9.8 varray.0.2 zarith.1.7-1
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw ocaml-base-compiler ocaml-base-compiler base-domains
ocaml ocaml dune ocaml-base-compiler
- cmdliner -> cmdliner.1.3.0
alcotest 1.0.1 requires >= 1.0.3 & < 2.0.0
- dune-site -> (problem)
Rejected candidates:
dune-site.3.20.2: Requires dune >= 3.20
dune-site.3.20.1: Requires dune >= 3.20
dune-site.3.20.0: Requires dune >= 3.20
dune-site.3.19.1: Requires dune >= 3.18
dune-site.3.19.0: Requires dune >= 3.18
...
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires ocaml-compiler-libs >= v0.12.0
gospel.0.2.0: Requires ocaml-compiler-libs >= v0.12.0
gospel.0.1.0: Requires ocaml-compiler-libs >= v0.12.0
- jbuilder -> (problem)
dune 3.10.0 requires not(= transition)
Rejected candidates:
jbuilder.transition: Incompatible with restriction: not(= transition)
jbuilder.1.0+beta20.2: Requires ocaml >= 4.02.3 & < 5.0
jbuilder.1.0+beta20.1: Requires ocaml >= 4.02.3 & < 5.0
- ocaml -> ocaml.5.1.1
cppo 1.6.1 requires < 5.2
ocaml-base-compiler 5.1.1 requires = 5.1.1
- ocaml-base-compiler -> ocaml-base-compiler.5.1.1
User requested = 5.1.1
- qcheck-multicoretests-util -> qcheck-multicoretests-util.0.8
qcheck-stm 0.8 requires = 0.8
- saturn -> (problem)
ortac-examples dev requires = 1.0.0
Rejected candidates:
saturn.1.0.0: Requires dune >= 3.14
saturn.0.5.0: Incompatible with restriction: = 1.0.0
saturn.0.4.1: Incompatible with restriction: = 1.0.0
saturn.0.4.0: Incompatible with restriction: = 1.0.0
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.0_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.4 alcotest.1.9.1 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.2.1.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2
dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
logs.0.10.0 lwt-dllist.1.1.0 mdx.2.5.1 monolith.20250922
ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1
ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1
ocamlfind.1.9.8 ordering.3.20.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.2.0.0
pprint.20230830 ppx_derivers.1.2.1 ppxlib.0.37.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0
result.1.5 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2
topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw ocaml-base-compiler ocaml-base-compiler ocaml
base-domains ocaml-base-compiler
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.2.0: Requires cmdliner >= 1.1.0 & < 2.0.0
gospel.0.1.0: Requires cmdliner >= 1.0.0 & < 2.0.0
- ocaml -> ocaml.5.0.0
ocaml-base-compiler 5.0.0 requires = 5.0.0
- ocaml-base-compiler -> ocaml-base-compiler.5.0.0
User requested = 5.0.0
- saturn -> (problem)
ortac-examples dev requires = 1.0.0
Rejected candidates:
saturn.1.0.0: Requires ocaml >= 4.14 & < 5.0.0 | >= 5.2.0
saturn.0.5.0: Incompatible with restriction: = 1.0.0
saturn.0.4.1: Incompatible with restriction: = 1.0.0
saturn.0.4.0: Incompatible with restriction: = 1.0.0
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-5.0_opam-2.4 =
2025-11-27 16:16.30 [INFO] Can't find all required versions.
Selected: afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5 base-bigarray.base
base-bytes.base base-domains.base base-nnp.base base-threads.base
base-unix.base camlp-streams.5.0.1 conf-gmp.5 conf-perl.1
cppo.1.6.1 csexp.1.3.2 dune.3.10.0 dune-build-info.2.9.3 fmt.0.9.0
logs.0.7.0 lwt-dllist.1.1.0 mdx.2.3.0 monolith.20201026
ocaml-compiler-libs.v0.11.0 ocaml-config.3 ocaml-options-vanilla.1
ocaml-version.3.5.0 ocamlbuild.0.14.1 ocamlfind.1.9.6
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 pprint.20200410
ppx_derivers.1.0 ppxlib.0.27.0 qcheck-core.0.25 qcheck-stm.0.8
re.1.7.2 result.1.5 seq.0.3 sexplib0.v0.15.1 stdlib-shims.0.1.0
topkg.1.0.8 uuidm.0.9.8 varray.0.2 zarith.1.7-1
ocaml-base-compiler&ortac-wrapper&ortac-runtime&ortac-runtime-qcheck-stm&ortac-runtime-monolith&ortac-qcheck-stm&ortac-monolith&ortac-examples&ortac-dune&ortac-core
system-mingw ocaml-base-compiler ocaml-base-compiler base-domains
ocaml ocaml dune ocaml-base-compiler
- cmdliner -> cmdliner.1.3.0
alcotest 1.0.1 requires >= 1.0.3 & < 2.0.0
- dune-site -> (problem)
Rejected candidates:
dune-site.3.20.2: Requires dune >= 3.20
dune-site.3.20.1: Requires dune >= 3.20
dune-site.3.20.0: Requires dune >= 3.20
dune-site.3.19.1: Requires dune >= 3.18
dune-site.3.19.0: Requires dune >= 3.18
...
- gospel -> (problem)
Rejected candidates:
gospel.0.3.0: Requires ocaml-compiler-libs >= v0.12.0
gospel.0.2.0: Requires ocaml-compiler-libs >= v0.12.0
gospel.0.1.0: Requires ocaml-compiler-libs >= v0.12.0
- jbuilder -> (problem)
dune 3.10.0 requires not(= transition)
Rejected candidates:
jbuilder.transition: Incompatible with restriction: not(= transition)
jbuilder.1.0+beta20.2: Requires ocaml >= 4.02.3 & < 5.0
jbuilder.1.0+beta20.1: Requires ocaml >= 4.02.3 & < 5.0
- ocaml -> ocaml.5.0.0
cppo 1.6.1 requires < 5.2
mdx 2.3.0 requires >= 4.08.0 & < 5.1.0
ocaml-base-compiler 5.0.0 requires = 5.0.0
- ocaml-base-compiler -> ocaml-base-compiler.5.0.0
User requested = 5.0.0
- odoc-parser -> odoc-parser.1.0.1
mdx 2.3.0 requires >= 1.0.0 & < 2.3.0
- qcheck-multicoretests-util -> qcheck-multicoretests-util.0.8
qcheck-stm 0.8 requires = 0.8
- saturn -> (problem)
ortac-examples dev requires = 1.0.0
Rejected candidates:
saturn.1.0.0: Requires dune >= 3.14
saturn.0.5.0: Incompatible with restriction: = 1.0.0
saturn.0.4.1: Incompatible with restriction: = 1.0.0
saturn.0.4.0: Incompatible with restriction: = 1.0.0
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
2025-11-27 16:16.30 [INFO] = debian-13-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5
base-bigarray.base base-threads.base
base-unix.base camlp-streams.5.0.1
cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4
cppo.1.8.0 csexp.1.5.2 dune.3.20.2
dune-build-info.3.20.2 dune-private-libs.3.20.2
dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0
gospel.0.3.0 logs.0.10.0 mdx.2.5.1
menhir.20250912 menhirCST.20250912
menhirLib.20250912 menhirSdk.20250912
monolith.20250922 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.4.0.3
ocamlbuild.0.16.1 ocamlfind.1.9.8
ordering.3.20.2 ortac-core.dev ortac-dune.dev
ortac-monolith.dev ortac-qcheck-stm.dev
ortac-runtime.dev ortac-runtime-monolith.dev
ortac-runtime-qcheck-stm.dev ortac-wrapper.dev
pp.2.0.0 pp_loc.2.1.0 pprint.20230830
ppx_derivers.1.2.1 ppx_deriving.6.0.3
ppxlib.0.35.0 qcheck-core.0.27
qcheck-multicoretests-util.0.10 qcheck-stm.0.10
re.1.14.0 result.1.5 sexplib0.v0.17.0
stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.1
uutf.1.0.4 zarith.1.14
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
1ec0eeb78dfedb9d754ae7abb8baed71c715f786)
2025-11-27 16:16.30 [INFO] = debian-13-4.14_opam-2.4 =
2025-11-27 16:16.30 [INFO] -> afl-persistent.1.3 alcotest.1.0.1 astring.0.8.5
base-bigarray.base base-bytes.base
base-threads.base base-unix.base
camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
conf-perl.1 cppo.1.6.1 csexp.1.5.1 dune.3.12.1
dune-build-info.2.9.3 dune-private-libs.3.15.3
dune-site.3.15.3 dyn.3.15.3 fmt.0.9.0
gospel.0.3.0 jbuilder.1.0+beta20.1 logs.0.7.0
mdx.2.3.0 menhir.20181006 monolith.20201026
ocaml.4.14.2 ocaml-base-compiler.4.14.2
ocaml-compiler-libs.v0.12.0 ocaml-config.2
ocaml-options-vanilla.1 ocaml-version.3.5.0
ocamlbuild.0.14.0 ocamlfind.1.9.1
odoc-parser.1.0.1 ordering.3.15.3
ortac-core.dev ortac-dune.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.20200410
ppx_derivers.1.0 ppx_deriving.5.2.1
ppxlib.0.26.0 qcheck-core.0.25
qcheck-multicoretests-util.0.8 qcheck-stm.0.8
re.1.7.2 result.1.5 seq.0.3 sexplib0.v0.12.0
stdlib-shims.0.1.0 stdune.3.15.3 topkg.1.0.8
uuidm.0.9.7 zarith.1.7-1
2025-11-27 16:16.30 [INFO] (valid since opam-repository commit(s): https://github.com/ocaml/opam-repository.git,
f736a66f83aeced5a0c0d90b769613178cd63b26)
2025-11-27 16:16.30 [INFO] = debian-13-4.13_opam-2.4 =
2025-11-27 16:16.30 [INFO] Cancelled
2025-11-27 16:16.30 [INFO] = debian-13-4.13_opam-2.4 =
2025-11-27 16:16.30 [INFO] Cancelled
2025-11-27 16:16.30 [INFO] = debian-13-4.12_opam-2.4 =
2025-11-27 16:16.30 [INFO] Cancelled
2025-11-27 16:16.30 [INFO] = debian-13-4.12_opam-2.4 =
2025-11-27 16:16.30 [INFO] Cancelled
2025-11-27 16:16.30 [INFO] = debian-13-4.11_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.11_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.10_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.10_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.09_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.09_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.08_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
2025-11-27 16:16.30 [INFO] = debian-13-4.08_opam-2.4 =
2025-11-27 16:16.30 [INFO] Not available for this platform
Job succeeded