Package coq
Failed to find a solution:
no platform:
2024-09-12 08:04.04 [INFO] Solving for ocaml-base-compiler, ocaml,
coq using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 08:04.11 [INFO] base: eliminated all possibilities in 2.96 s
2024-09-12 08:04.11 [INFO] = base =
2024-09-12 08:04.11 [INFO] Can't find all required versions.
Selected: base-num.base base-ocamlbuild.base conf-findutils.1 num.0
ocaml-config.3 ocamlbuild.0 coq&ocaml&ocaml-base-compiler
ocaml-base-compiler ocaml-base-compiler
- camlp5 -> camlp5.6.17
coq 8.4pl2 requires < 8
- coq -> coq.8.4pl2
User requested = 8.4pl2
- ocaml -> ocaml.4.01.0
User requested <= 5.1.1
base-num base requires < 4.06.0
base-ocamlbuild base requires >= 3.10 & < 4.03
coq 8.4pl2 requires >= 3.11.2 & < 4.02.0
- ocaml-base-compiler -> (problem)
User requested >= 4.04.1
Rejected candidates:
ocaml-base-compiler.5.2.0: Requires ocaml = 5.2.0
ocaml-base-compiler.5.2.0~rc1: Requires ocaml = 5.2.0
ocaml-base-compiler.5.2.0~beta2: Requires ocaml = 5.2.0
ocaml-base-compiler.5.2.0~beta1: Requires ocaml = 5.2.0
ocaml-base-compiler.5.2.0~alpha1: Requires ocaml = 5.2.0
...