Package coqide
Failed to find a solution:
no platform:
2024-01-29 15:11.54 [INFO] Solving for ocaml-base-compiler, ocaml,
coqide using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb
2024-01-29 15:12.00 [INFO] base: eliminated all possibilities in 2.70 s
2024-01-29 15:12.00 [INFO] = base =
2024-01-29 15:12.00 [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.02.01 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.13.0
fmt.0.9.0 fpath.0.7.3 lablgtk.2.18.13 logs.0.7.0 not-ocamlfind.0.12
ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.14.3
ocamlfind.1.9.6 ocamlgraph.2.1.0 re.1.11.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 ocaml base-domains ocaml
ocaml-base-compiler
- coq -> (problem)
coqide 8.4.5 requires = 8.4.5
Rejected candidates:
coq.8.19.0: Incompatible with restriction: = 8.4.5
coq.8.18.0: Incompatible with restriction: = 8.4.5
coq.8.17.1: Incompatible with restriction: = 8.4.5
coq.8.17.0: Incompatible with restriction: = 8.4.5
coq.8.16.1: Requires base-nnp conflict with all versions
...
- coqide -> coqide.8.4.5
User requested = 8.4.5
- ocaml -> ocaml.5.1.0
User requested <= 5.1.0
- ocaml-base-compiler -> ocaml-base-compiler.5.1.0
User requested >= 4.04.1
ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.0~ & < 5.1.1~