Package frama-c
Failed to find a solution:
no platform:
2024-01-29 14:58.37 [INFO] Solving for ocaml-base-compiler, ocaml,
frama-c using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb
2024-01-29 14:58.43 [INFO] base: eliminated all possibilities in 2.81 s
2024-01-29 14:58.43 [INFO] = base =
2024-01-29 14:58.43 [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 ocamlgraph.1.8.8 frama-c&ocaml&ocaml-base-compiler
ocaml-base-compiler ocaml-base-compiler
- frama-c -> frama-c.9.0
User requested = 9.0
- ocaml -> ocaml.4.00.1
User requested <= 5.1.0
frama-c 9.0 requires < 4.01.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
...