Package why3

Failed to find a solution:

no platform:
2024-01-29 15:13.59 [INFO] Solving for ocaml-base-compiler, ocaml,
                           why3 using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb

2024-01-29 15:14.05 [INFO] base: eliminated all possibilities in 2.83 s

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

2024-01-29 15:14.05 [INFO] Can't find all required versions.
Selected: alt-ergo.2.4.3 base-num.base base-threads.base base-unix.base
          camlzip.1.10 conf-autoconf.0.1 conf-gmp.4 conf-pkg-config.3
          conf-sqlite3.1 conf-which.1 conf-zlib.1 csexp.1.5.2 dune.3.13.0
          dune-build-info.2.9.3 dune-configurator.3.13.0 menhir.20231231
          menhirLib.20231231 menhirSdk.20231231 num.0 ocaml-config.3
          ocaml-secondary-compiler.4.08.1-1 ocamlfind.1.9.6
          ocamlfind-secondary.1.9.6 psmt2-frontend.0.4.0 seq.0.3.1
          sqlite3.5.0.1 stdlib-shims.0.3.0 zarith.1.13
          why3&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler ocaml&ocamlfind-secondary
- alt-ergo-lib -> alt-ergo-lib.2.4.3
    alt-ergo 2.4.3 requires = 2.4.3
- alt-ergo-parsers -> alt-ergo-parsers.2.4.3
    alt-ergo 2.4.3 requires = 2.4.3
- cmdliner -> (problem)
    alt-ergo 2.4.3 requires >= 1.1.0
    Rejected candidates:
      cmdliner.1.2.0: Requires ocaml >= 4.08.0
      cmdliner.1.1.1: Requires ocaml >= 4.08.0
      cmdliner.1.1.0: Requires ocaml >= 4.08.0
      cmdliner.1.0.4: Incompatible with restriction: >= 1.1.0
      cmdliner.1.0.3: Incompatible with restriction: >= 1.1.0
      ...
- coq -> (problem)
    why3 0.73 requires = 8.3
    Rejected candidates:
      coq.8.19.0: Incompatible with restriction: = 8.3
      coq.8.18.0: Incompatible with restriction: = 8.3
      coq.8.17.1: Incompatible with restriction: = 8.3
      coq.8.17.0: Incompatible with restriction: = 8.3
      coq.8.16.1: Requires ocaml >= 4.09.0
      ...
- menhirCST -> (problem)
    Rejected candidates:
      menhirCST.20231231: Requires ocaml >= 4.08
- ocaml -> ocaml.4.05.1
    User requested <= 5.1.0
    base-num base requires < 4.06.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
      ...
- ocamlgraph -> ocamlgraph.1.8.2
    why3 0.73 requires = 1.8.2
- ocplib-simplex -> ocplib-simplex.0.4.1
    alt-ergo-lib 2.4.3 requires >= 0.4.1 & < 0.5
- why3 -> why3.0.73
    User requested = 0.73