Package frama-c-base
Failed to find a solution:
no platform:
2024-05-29 14:56.58 [INFO] Solving for ocaml-base-compiler, ocaml,
frama-c-base using opam_repository_commit 7311123dcaba6b163a96ad2219b8cc4e59df93a3
2024-05-29 14:57.03 [INFO] base: eliminated all possibilities in 3.13 s
2024-05-29 14:57.03 [INFO] = base =
2024-05-29 14:57.03 [INFO] Can't find all required versions.
Selected: base-num.base num.0 ocaml-config.3 ocamlfind.1.9.6
frama-c-base&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler
- frama-c-base -> frama-c-base.13.1
User requested = 13.1
- ocaml -> ocaml.4.03.1
User requested <= 5.1.1
base-num base requires < 4.06.0
frama-c-base 13.1 requires >= 4.00.1 & <> 4.02.0 & <> 4.02.2 & < 4.04.0
- 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.6
frama-c-base 13.1 requires = 1.8.5 | = 1.8.6