Package frama-c

Failed to find a solution:

no platform:
2024-09-12 08:13.32 [INFO] Solving for ocaml-base-compiler, ocaml,
                           frama-c using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375

2024-09-12 08:13.38 [INFO] base: eliminated all possibilities in 3.07 s

2024-09-12 08:13.38 [INFO] = base =

2024-09-12 08:13.38 [INFO] Can't find all required versions.
Selected: alt-ergo.2.5.4 alt-ergo-lib.2.5.4 alt-ergo-parsers.2.5.4
          altgr-ergo.1.01 base-bigarray.base base-domains.base base-nnp.base
          base-threads.base base-unix.base camlp-streams.5.0.1 camlzip.1.12
          cmdliner.1.3.0 conf-gmp.4 conf-gnomecanvas.2 conf-gtk2.1
          conf-gtksourceview.2 conf-pkg-config.3 conf-zlib.1 csexp.1.5.2
          dune.3.16.0 dune-build-info.3.16.0 dune-private-libs.3.16.0
          dune-site.3.16.0 dyn.3.16.0 fmt.0.9.0 gen.1.1 host-arch-x86_64.1
          lablgtk.2.18.13 logs.0.7.0 menhir.20240715 menhirCST.20240715
          menhirLib.20240715 menhirSdk.20240715 num.1.5-1
          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.16.0 pp.1.2.0 pp_loc.2.1.0 ppx_blob.0.9.0
          ppx_derivers.1.2.1 ppxlib.0.33.0 psmt2-frontend.0.4.0 seq.base
          sexplib0.v0.17.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.16.0
          topkg.1.0.7 uutf.1.0.3 zarith.1.14
          frama-c&ocaml&ocaml-base-compiler ocaml-base-compiler
          ocaml-base-compiler system-mingw ocaml base-domains ocaml
          ocaml-base-compiler
- dolmen -> dolmen.0.9
    alt-ergo-lib 2.5.4 requires = 0.9
- dolmen_loop -> dolmen_loop.0.9
    alt-ergo-lib 2.5.4 requires = 0.9
- dolmen_type -> dolmen_type.0.9
    alt-ergo-lib 2.5.4 requires = 0.9
- frama-c -> frama-c.13.1
    User requested = 13.1
- frama-c-base -> (problem)
    frama-c 13.1 requires = 13.1
    Rejected candidates:
      frama-c-base.15.0: Incompatible with restriction: = 13.1
      frama-c-base.14.0: Incompatible with restriction: = 13.1
      frama-c-base.13.1: Requires ocaml >= 4.00.1 & <> 4.02.0 & <> 4.02.2 & < 4.04.0
      frama-c-base.12.1: Incompatible with restriction: = 13.1
      frama-c-base.11.0: Incompatible with restriction: = 13.1
- ocaml -> ocaml.5.1.1
    User requested <= 5.1.1
- ocaml-base-compiler -> ocaml-base-compiler.5.1.1
    User requested >= 4.04.1
    ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.1~ & < 5.1.2~
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied