Package why
Failed to find a solution:
no platform:
2024-09-12 08:24.52 [INFO] Solving for ocaml-base-compiler, ocaml,
why using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 08:24.58 [INFO] base: eliminated all possibilities in 3.00 s
2024-09-12 08:24.58 [INFO] = base =
2024-09-12 08:24.58 [INFO] Can't find all required versions.
Selected: base-num.base base-ocamlbuild.base camlp4.4.02.0-1modular-implicits
camlzip.1.10 conf-autoconf.0.2 conf-gmp.4 conf-gnomecanvas.2
conf-gtk2.1 conf-gtksourceview.2 conf-perl.2 conf-pkg-config.3
conf-which.1 conf-zlib.1 lablgtk.2.18.5 num.0 ocaml-config.3
ocamlbuild.0 ocamlfind.1.9.6 ocamlgraph.1.8.8 zarith.1.11
why&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler
- frama-c -> frama-c.11.0
why 2.35 requires = 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 ocamlgraph = 1.8.5 | = 1.8.6
- ocaml -> ocaml.4.02.4
User requested <= 5.1.1
base-num base requires < 4.06.0
base-ocamlbuild base requires >= 3.10 & < 4.03
- 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
...
- ocaml-variants -> (problem)
camlp4 4.02.0-1modular-implicits requires = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
Rejected candidates:
ocaml-variants.5.4.0+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.3.0+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.2.1+trunk: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.2.0+statmemprof: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
ocaml-variants.5.2.0+options: Incompatible with restriction: = 4.02.0+modular-implicits | = 4.02.1+modular-implicits-ber
...
- why -> why.2.35
User requested = 2.35
- why3 -> why3.0.85
why 2.35 requires >= 0.84 & <= 0.85
- why3-base -> why3-base.0.85
why3 0.85 requires = 0.85