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 3.19 s

2024-01-29 15:07.49 [INFO] = base =

2024-01-29 15:07.49 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base camlp-streams.5.0.1 camlzip.1.11
          conf-autoconf.0.1 conf-gmp.4 conf-gnomecanvas.2 conf-gtk2.1
          conf-gtksourceview.2 conf-pkg-config.3 conf-which.1 conf-zlib.1
          dune.3.13.0 lablgtk.2.18.13 ocaml-config.3 ocaml-options-vanilla.1
          ocamlfind.1.9.6 ocamlgraph.2.1.0 stdlib-shims.0.3.0 zarith.1.13
          why&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler ocaml base-domains ocaml ocaml-base-compiler
- frama-c -> frama-c.12.1
    why 2.36 requires = 12.1
- frama-c-base -> (problem)
    frama-c 12.1 requires = 12.1
    Rejected candidates:
      frama-c-base.15.0: Incompatible with restriction: = 12.1
      frama-c-base.14.0: Incompatible with restriction: = 12.1
      frama-c-base.13.1: Incompatible with restriction: = 12.1
      frama-c-base.12.1: Requires ocaml >= 4.0 & <> 4.02.0 & <> 4.02.2 & < 4.04.0
      frama-c-base.11.0: Incompatible with restriction: = 12.1
- 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~
- why -> why.2.36
    User requested = 2.36
- why3 -> why3.0.87.1
    why 2.36 requires >= 0.86 & <= 0.87.1
- why3-base -> (problem)
    why3 0.87.1 requires = 0.87.1
    Rejected candidates:
      why3-base.0.88.3: Incompatible with restriction: = 0.87.1
      why3-base.0.88.2: Incompatible with restriction: = 0.87.1
      why3-base.0.88.1: Incompatible with restriction: = 0.87.1
      why3-base.0.88.0: Incompatible with restriction: = 0.87.1
      why3-base.0.87.3: Incompatible with restriction: = 0.87.1
      ...