Package coq

Failed to find a solution:

no platform:
2024-01-29 14:50.50 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coq using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb

2024-01-29 14:50.55 [INFO] base: eliminated all possibilities in 2.56 s

2024-01-29 14:50.55 [INFO] = base =

2024-01-29 14:50.55 [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.3 requires <> 5.00 & < 8
- coq -> coq.8.3
    User requested = 8.3
- ocaml -> ocaml.4.01.0
    User requested <= 5.1.0
    base-num base requires < 4.06.0
    base-ocamlbuild base requires >= 3.10 & < 4.03
    coq 8.3 requires >= 3.10.2 & < 4.02.0
- ocaml-base-compiler -> (problem)
    User requested >= 4.04.1
    Rejected candidates:
      ocaml-base-compiler.5.1.1: Requires ocaml = 5.1.1
      ocaml-base-compiler.5.1.1~rc1: Requires ocaml = 5.1.1
      ocaml-base-compiler.5.1.0: Requires ocaml = 5.1.0
      ocaml-base-compiler.5.1.0~rc3: Requires ocaml = 5.1.0
      ocaml-base-compiler.5.1.0~rc2: Requires ocaml = 5.1.0
      ...