Package coqide

Failed to find a solution:

no platform:
2024-09-12 08:29.17 [INFO] Solving for ocaml-base-compiler, ocaml,
                           coqide using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375

2024-09-12 08:29.24 [INFO] base: eliminated all possibilities in 3.15 s

2024-09-12 08:29.24 [INFO] = base =

2024-09-12 08:29.24 [INFO] Can't find all required versions.
Selected: astring.0.8.5 base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base bos.0.2.1 camlp-streams.5.0.1
          camlp5.8.03.00 camlp5-buildscripts.0.03 conf-bash.1 conf-gtk2.1
          conf-m4.1 conf-perl.2 conf-pkg-config.3 conf-which.1 dune.3.16.0
          fmt.0.9.0 fpath.0.7.3 host-arch-x86_64.1 lablgtk.2.18.13 logs.0.7.0
          not-ocamlfind.0.13 ocaml-config.3 ocaml-options-vanilla.1
          ocamlbuild.0.15.0 ocamlfind.1.9.6 ocamlgraph.2.1.0 re.1.12.0
          rresult.0.7.0 seq.base stdlib-shims.0.3.0 topkg.1.0.7
          coqide&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler system-mingw ocaml base-domains ocaml
          ocaml-base-compiler
- coq -> (problem)
    coqide 8.4pl2 requires = 8.4pl2
    Rejected candidates:
      coq.8.20.0: Incompatible with restriction: = 8.4pl2
      coq.8.19.2: Incompatible with restriction: = 8.4pl2
      coq.8.19.1: Incompatible with restriction: = 8.4pl2
      coq.8.19.0: Incompatible with restriction: = 8.4pl2
      coq.8.18.0: Incompatible with restriction: = 8.4pl2
      ...
- coqide -> coqide.8.4pl2
    User requested = 8.4pl2
- ocaml -> ocaml.5.1.1
    User requested <= 5.1.1
- ocaml-base-compiler -> ocaml-base-compiler.5.1.1
    User requested >= 4.04.1
    ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.1~ & < 5.1.2~
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied