Package why

Failed to find a solution:

no platform:
2024-12-19 15:52.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           why using opam_repository_commit 40261e81b0d4449cd32f7834e272aa9d38a28c49

2024-12-19 15:54.49 [INFO] base: eliminated all possibilities in 1.53 s

2024-12-19 15:54.49 [INFO] = base =

2024-12-19 15:54.49 [INFO] Can't find all required versions.
Selected: base-num.base base-ocamlbuild.base camlp4.4.02.0-1modular-implicits
          conf-autoconf.0.2 conf-findutils.1 conf-gtk2.1 conf-pkg-config.3
          conf-which.1 frama-c.9.0 num.0 ocaml-config.3
          ocaml-options-vanilla.1 ocamlbuild.0 ocamlfind.1.9.6
          why&ocaml&ocaml-base-compiler ocaml-variants 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.1
    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 -> ocaml-base-compiler.5.3.0~rc1
    User requested >= 4.04.1
- ocaml-compiler -> (problem)
    ocaml-base-compiler 5.3.0~rc1 requires = 5.3.0~rc1
    Rejected candidates:
      ocaml-compiler.5.3.0~rc1: Requires ocaml = 5.3.0
      ocaml-compiler.5.3.0~beta2: Incompatible with restriction: = 5.3.0~rc1
      ocaml-compiler.5.3.0~beta1: Incompatible with restriction: = 5.3.0~rc1
      ocaml-compiler.5.3.0~alpha1: Incompatible with restriction: = 5.3.0~rc1
      ocaml-compiler.5.3: Incompatible with restriction: = 5.3.0~rc1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0~beta1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- ocamlgraph -> ocamlgraph.1.8.2
    why 2.31 requires = 1.8.2
- why -> why.2.31
    User requested = 2.31