Package why3
Failed to find a solution:
no platform:
2024-01-29 15:13.59 [INFO] Solving for ocaml-base-compiler, ocaml,
why3 using opam_repository_commit 251c5edf2ecdd2541c324dacb931c3606ee71eeb
2024-01-29 15:14.04 [INFO] base: eliminated all possibilities in 2.58 s
2024-01-29 15:14.04 [INFO] = base =
2024-01-29 15:14.04 [INFO] Can't find all required versions.
Selected: alt-ergo.2.4.3 base-num.base base-threads.base base-unix.base
camlzip.1.10 conf-autoconf.0.1 conf-gmp.4 conf-gtksourceview.2
conf-pkg-config.3 conf-which.1 conf-zlib.1 csexp.1.5.2 dune.3.13.0
dune-build-info.2.9.3 dune-configurator.3.13.0 menhir.20231231
menhirLib.20231231 menhirSdk.20231231 num.0 ocaml-config.3
ocaml-secondary-compiler.4.08.1-1 ocamlfind.1.9.6
ocamlfind-secondary.1.9.6 psmt2-frontend.0.4.0 seq.0.3.1
stdlib-shims.0.3.0 zarith.1.13 why3&ocaml&ocaml-base-compiler
ocaml-base-compiler ocaml-base-compiler ocaml&ocamlfind-secondary
- alt-ergo-lib -> alt-ergo-lib.2.4.3
alt-ergo 2.4.3 requires = 2.4.3
- alt-ergo-parsers -> alt-ergo-parsers.2.4.3
alt-ergo 2.4.3 requires = 2.4.3
- cmdliner -> (problem)
alt-ergo 2.4.3 requires >= 1.1.0
Rejected candidates:
cmdliner.1.2.0: Requires ocaml >= 4.08.0
cmdliner.1.1.1: Requires ocaml >= 4.08.0
cmdliner.1.1.0: Requires ocaml >= 4.08.0
cmdliner.1.0.4: Incompatible with restriction: >= 1.1.0
cmdliner.1.0.3: Incompatible with restriction: >= 1.1.0
...
- lablgtk -> (problem)
why3 0.81 requires < 2.18
Rejected candidates:
lablgtk.2.18.13: Requires ocaml >= 4.06
lablgtk.2.18.12: Requires ocaml >= 4.06 & < 5.0.0
lablgtk.2.18.11: Incompatible with restriction: < 2.18
lablgtk.2.18.10: Incompatible with restriction: < 2.18
lablgtk.2.18.9: Incompatible with restriction: < 2.18
...
- menhirCST -> (problem)
Rejected candidates:
menhirCST.20231231: Requires ocaml >= 4.08
- ocaml -> ocaml.4.05.1
User requested <= 5.1.0
base-num base requires < 4.06.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
...
- ocplib-simplex -> ocplib-simplex.0.4.1
alt-ergo-lib 2.4.3 requires >= 0.4.1 & < 0.5
- why3 -> why3.0.81
User requested = 0.81