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.39 [INFO] base: eliminated all possibilities in 3.02 s
2024-09-12 08:13.39 [INFO] = base =
2024-09-12 08:13.39 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-domains.base base-nnp.base
base-threads.base base-unix.base camlp-streams.5.0.1 conf-gmp.4
conf-gnomecanvas.2 conf-gtk2.1 conf-gtksourceview.2
conf-pkg-config.3 dune.3.16.0 host-arch-x86_64.1 lablgtk.2.18.13
ocaml-config.3 ocaml-options-vanilla.1 ocamlfind.1.9.6 zarith.1.14
frama-c&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler system-mingw ocaml base-domains ocaml
ocaml-base-compiler
- frama-c -> frama-c.11.0
User requested = 11.0
- frama-c-base -> (problem)
frama-c 11.0 requires = 11.0
Rejected candidates:
frama-c-base.15.0: Incompatible with restriction: = 11.0
frama-c-base.14.0: Incompatible with restriction: = 11.0
frama-c-base.13.1: Incompatible with restriction: = 11.0
frama-c-base.12.1: Incompatible with restriction: = 11.0
frama-c-base.11.0: Requires ocaml >= 4.0 & <> 4.02.0 & < 4.04.0
- 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