Package why
Failed to find a solution:
no platform:
2024-01-29 15:07.42 [INFO] Solving for ocaml-base-compiler, ocaml,
why using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb
2024-01-29 15:07.49 [INFO] base: eliminated all possibilities in 3.09 s
2024-01-29 15:07.49 [INFO] = base =
2024-01-29 15:07.49 [INFO] Can't find all required versions.
Selected: alt-ergo.2.5.2 alt-ergo-lib.2.5.2 alt-ergo-parsers.2.5.2
base-bigarray.base base-domains.base base-nnp.base
base-threads.base base-unix.base camlzip.1.11 cmdliner.1.2.0
conf-autoconf.0.1 conf-gmp.4 conf-linux-libc-dev.0
conf-pkg-config.3 conf-which.1 conf-zlib.1 coq.8.19.0
coq-core.8.19.0 coq-stdlib.8.19.0 coqide-server.8.19.0 csexp.1.5.2
dolmen.0.9 dolmen_loop.0.9 dolmen_type.0.9 dune.3.13.0
dune-build-info.3.13.0 dune-private-libs.3.13.0 dune-site.3.13.0
dyn.3.13.0 fmt.0.9.0 gen.1.1 logs.0.7.0 menhir.20231231
menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5
ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1
ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-simplex.0.5
ordering.3.13.0 pp.1.2.0 pp_loc.2.1.0 ppx_blob.0.7.2
ppx_derivers.1.2.1 ppxlib.0.31.0 psmt2-frontend.0.4.0 seq.base
sexplib0.v0.16.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.13.0
topkg.1.0.7 uutf.1.0.3 zarith.1.13 why&ocaml&ocaml-base-compiler
ocaml-base-compiler ocaml-base-compiler ocaml base-domains ocaml
ocaml-base-compiler
- frama-c -> (problem)
why 2.32 requires = 8.0
Rejected candidates:
frama-c.28.0: Incompatible with restriction: = 8.0
frama-c.28.0~beta: Incompatible with restriction: = 8.0
frama-c.27.1: Incompatible with restriction: = 8.0
frama-c.27.0: Incompatible with restriction: = 8.0
frama-c.27.0~beta: Incompatible with restriction: = 8.0
...
- lablgtk -> (problem)
why 2.32 requires <= 2.16.0
Rejected candidates:
lablgtk.2.18.13: Incompatible with restriction: <= 2.16.0
lablgtk.2.18.12: Requires ocaml >= 4.06 & < 5.0.0
lablgtk.2.18.11: Requires ocaml >= 4.05 & < 5.0.0
lablgtk.2.18.10: Requires ocaml >= 4.05 & < 4.09
lablgtk.2.18.9: Requires ocaml >= 4.05 & < 4.09
...
- ocaml -> ocaml.5.1.0
User requested <= 5.1.0
- ocaml-base-compiler -> ocaml-base-compiler.5.1.0
User requested >= 4.04.1
ocaml-base-compiler|ocaml-variants|ocaml-system|dkml-base-compiler ocaml-base-compiler requires >= 5.1.0~ & < 5.1.1~
- ocamlgraph -> (problem)
why 2.32 requires = 1.8.2
Rejected candidates:
ocamlgraph.2.1.0: Incompatible with restriction: = 1.8.2
ocamlgraph.2.0.0: Incompatible with restriction: = 1.8.2
ocamlgraph.1.8.8: Requires ocaml < 5.0
ocamlgraph.1.8.7: Requires ocaml < 4.06.0
ocamlgraph.1.8.6: Requires ocaml < 4.06.0
...
- why -> why.2.32
User requested = 2.32
- why3 -> (problem)
why 2.32 requires = 0.81
Rejected candidates:
why3.1.7.1: Incompatible with restriction: = 0.81
why3.1.7.0: Incompatible with restriction: = 0.81
why3.1.6.0: Incompatible with restriction: = 0.81
why3.1.5.1: Incompatible with restriction: = 0.81
why3.1.5.0: Incompatible with restriction: = 0.81
...