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.47 [INFO] base: eliminated all possibilities in 1.68 s

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

2024-12-19 15:54.47 [INFO] Can't find all required versions.
Selected: alt-ergo.2.6.0 alt-ergo-lib.2.6.0 alt-ergo-parsers.2.6.0
          base-threads.base base-unix.base camlzip.1.13 cmdliner.1.3.0
          conf-autoconf.0.2 conf-gmp.4 conf-pkg-config.3 conf-zlib.1
          cppo.1.8.0 csexp.1.5.2 dolmen.0.10 dolmen_loop.0.10
          dolmen_type.0.10 dune.3.17.1 dune-build-info.3.17.1
          dune-private-libs.3.17.1 dune-site.3.17.1 dyn.3.17.1 fmt.0.9.0
          gen.1.1 hmap.0.8.1 logs.0.7.0 menhir.20240715 menhirCST.20240715
          menhirLib.20240715 menhirSdk.20240715 ocaml-compiler-libs.v0.12.4
          ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.15.0
          ocamlfind.1.9.6 ocplib-simplex.0.5.1 ordering.3.17.1 pp.2.0.0
          pp_loc.2.1.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.0.3
          ppxlib.0.33.1~5.3preview psmt2-frontend.0.4.0 seq.base
          sexplib0.v0.17.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.17.1
          topkg.1.0.7 uutf.1.0.3 zarith.1.14 why&ocaml&ocaml-base-compiler
          ocaml-variants ocaml-base-compiler ocaml ocaml-base-compiler
- coq -> (problem)
    why 2.33 requires >= 8.4pl1 & <= 8.4.5
    Rejected candidates:
      coq.8.20.0: Incompatible with restriction: >= 8.4pl1 & <= 8.4.5
      coq.8.19.2: Incompatible with restriction: >= 8.4pl1 & <= 8.4.5
      coq.8.19.1: Incompatible with restriction: >= 8.4pl1 & <= 8.4.5
      coq.8.19.0: Incompatible with restriction: >= 8.4pl1 & <= 8.4.5
      coq.8.18.0: Incompatible with restriction: >= 8.4pl1 & <= 8.4.5
      ...
- frama-c -> (problem)
    why 2.33 requires >= 9.0 & <= 9.1
    Rejected candidates:
      frama-c.30.0: Incompatible with restriction: >= 9.0 & <= 9.1
      frama-c.30.0~beta: Incompatible with restriction: >= 9.0 & <= 9.1
      frama-c.29.0: Incompatible with restriction: >= 9.0 & <= 9.1
      frama-c.29.0~beta: Incompatible with restriction: >= 9.0 & <= 9.1
      frama-c.28.1: Incompatible with restriction: >= 9.0 & <= 9.1
      ...
- lablgtk -> (problem)
    why 2.33 requires <= 2.16.0
    Rejected candidates:
      lablgtk.2.18.13: Incompatible with restriction: <= 2.16.0
      lablgtk.2.18.12: Requires ocaml >= 4.06 & < 5.0.0
      lablgtk.2.18.11: Requires ocaml >= 4.05 & < 5.0.0
      lablgtk.2.18.10: Requires ocaml >= 4.05 & < 4.09
      lablgtk.2.18.9: Requires ocaml >= 4.05 & < 4.09
      ...
- ocaml -> ocaml.5.1.1
    User requested <= 5.1.1
- 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 -> (problem)
    why 2.33 requires >= 1.8.2 & <= 1.8.5
    Rejected candidates:
      ocamlgraph.2.1.0: Incompatible with restriction: >= 1.8.2 & <= 1.8.5
      ocamlgraph.2.0.0: Incompatible with restriction: >= 1.8.2 & <= 1.8.5
      ocamlgraph.1.8.8: Requires ocaml < 5.0
      ocamlgraph.1.8.7: Requires ocaml < 4.06.0
      ocamlgraph.1.8.6: Requires ocaml < 4.06.0
      ...
- why -> why.2.33
    User requested = 2.33
- why3 -> (problem)
    why 2.33 requires = 0.81
    Rejected candidates:
      why3.1.8.0: Incompatible with restriction: = 0.81
      why3.1.7.2: Incompatible with restriction: = 0.81
      why3.1.7.1: Incompatible with restriction: = 0.81
      why3.1.7.0: Incompatible with restriction: = 0.81
      why3.1.6.0: Incompatible with restriction: = 0.81
      ...