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.05 [INFO] base: eliminated all possibilities in 2.78 s
2024-01-29 15:14.05 [INFO] = base =
2024-01-29 15:14.05 [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-pkg-config.3
conf-sqlite3.1 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
sqlite3.5.0.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
...
- coq -> (problem)
why3 0.80 requires = 8.3
Rejected candidates:
coq.8.19.0: Incompatible with restriction: = 8.3
coq.8.18.0: Incompatible with restriction: = 8.3
coq.8.17.1: Incompatible with restriction: = 8.3
coq.8.17.0: Incompatible with restriction: = 8.3
coq.8.16.1: Requires ocaml >= 4.09.0
...
- 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
...
- ocamlgraph -> ocamlgraph.1.8.2
why3 0.80 requires = 1.8.2
- ocplib-simplex -> ocplib-simplex.0.4.1
alt-ergo-lib 2.4.3 requires >= 0.4.1 & < 0.5
- why3 -> why3.0.80
User requested = 0.80