Package coq

Failed to find a solution:

no platform:
2024-05-29 14:54.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coq using opam_repository_commit 7311123dcaba6b163a96ad2219b8cc4e59df93a3

2024-05-29 14:54.55 [INFO] base: eliminated all possibilities in 3.33 s

2024-05-29 14:54.55 [INFO] = base =

2024-05-29 14:54.55 [INFO] Can't find all required versions.
Selected: base-num.base base-ocamlbuild.base camlp4.4.02.0-1modular-implicits
          conf-findutils.1 conf-which.1 num.0 ocaml-config.3 ocamlbuild.0
          ocamlfind.1.9.6 coq&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler
- coq -> coq.8.4.6~camlp4
    User requested = 8.4.6~camlp4
- ocaml -> ocaml.4.02.4
    User requested <= 5.1.1
    base-num base requires < 4.06.0
    base-ocamlbuild base requires >= 3.10 & < 4.03
- 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
      ...
- ocaml-variants -> (problem)
    camlp4 4.02.0-1modular-implicits requires = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
    Rejected candidates:
      ocaml-variants.5.3.0+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
      ocaml-variants.5.2.1+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
      ocaml-variants.5.2.0+statmemprof: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
      ocaml-variants.5.2.0+options: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
      ocaml-variants.5.2.0~rc1+options: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
      ...