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

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

2024-09-12 08:13.38 [INFO] Can't find all required versions.
Selected: conf-gtk2.1 conf-pkg-config.3 lablgtk.2.18.5 ocaml-config.3
          ocamlfind.1.9.6 frama-c&ocaml&ocaml-base-compiler
          ocaml-base-compiler ocaml-base-compiler
- frama-c -> frama-c.7.0
    User requested = 7.0
- ocaml -> ocaml.3.12.1
    User requested <= 5.1.1
    frama-c 7.0 requires = 3.12.1
- ocaml-base-compiler -> (problem)
    User requested >= 4.04.1
    Rejected candidates:
      ocaml-base-compiler.5.2.0: Requires ocaml = 5.2.0
      ocaml-base-compiler.5.2.0~rc1: Requires ocaml = 5.2.0
      ocaml-base-compiler.5.2.0~beta2: Requires ocaml = 5.2.0
      ocaml-base-compiler.5.2.0~beta1: Requires ocaml = 5.2.0
      ocaml-base-compiler.5.2.0~alpha1: Requires ocaml = 5.2.0
      ...
- ocamlgraph -> ocamlgraph.1.8.2
    frama-c 7.0 requires = 1.8.2