Package why
Failed to find a solution:
no platform:
2024-01-29 15:07.42 [INFO] Solving for ocaml-base-compiler, ocaml,
why using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb
2024-01-29 15:07.49 [INFO] base: eliminated all possibilities in 2.77 s
2024-01-29 15:07.49 [INFO] = base =
2024-01-29 15:07.49 [INFO] Can't find all required versions.
Selected: base-num.base base-ocamlbuild.base camlp4.4.02.0-1modular-implicits
conf-autoconf.0.1 conf-findutils.1 conf-gtk2.1 conf-pkg-config.3
conf-which.1 frama-c.9.0 num.0 ocaml-config.3 ocamlbuild.0
ocamlfind.1.9.6 why&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
why 2.31 requires = 8.3
- lablgtk -> lablgtk.2.16.0
why 2.31 requires <= 2.16.0
- ocaml -> ocaml.3.12.1
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
frama-c 9.0 requires < 4.01.0
why 2.31 requires < 4.00.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
...
- 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.0+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.1.2+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.1.1+tsan: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.1.1+options: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
...
- ocamlgraph -> ocamlgraph.1.8.2
why 2.31 requires = 1.8.2
- why -> why.2.31
User requested = 2.31