Package lambda-term
Failed to find a solution:
no platform:
2024-09-12 07:56.08 [INFO] Solving for ocaml-base-compiler, ocaml,
lambda-term using opam_repository_commit 0329818dcfd3de1a722ea09eeeed94cd24caa375
2024-09-12 07:56.15 [INFO] base: eliminated all possibilities in 3.47 s
2024-09-12 07:56.15 [INFO] = base =
2024-09-12 07:56.15 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-bytes.base base-domains.base base-nnp.base
base-threads.base base-unix.base host-arch-x86_64.1
jbuilder.transition ocaml-config.3 ocaml-options-vanilla.1
ocamlbuild.0.15.0 ocamlfind.1.9.6
lambda-term&ocaml&ocaml-base-compiler ocaml-base-compiler
ocaml-base-compiler system-mingw ocaml base-domains
ocaml-base-compiler
- camomile -> camomile.1.0.1
zed 1.6 requires >= 0.8 & < 2.0.0
- dune -> (problem)
Rejected candidates:
dune.3.16.0: Requires jbuilder not(= transition)
dune.3.15.3: Requires jbuilder not(= transition)
dune.3.15.2: Requires jbuilder not(= transition)
dune.3.15.0: Requires jbuilder not(= transition)
dune.3.14.2: Requires jbuilder not(= transition)
...
- lambda-term -> lambda-term.1.5
User requested = 1.5
- lwt -> (problem)
lambda-term 1.5 requires >= 2.4.0 & < 3.0.0
Rejected candidates:
lwt.5.7.0: Incompatible with restriction: >= 2.4.0 & < 3.0.0
lwt.5.6.1: Incompatible with restriction: >= 2.4.0 & < 3.0.0
lwt.5.6.0: Incompatible with restriction: >= 2.4.0 & < 3.0.0
lwt.5.5.0: Incompatible with restriction: >= 2.4.0 & < 3.0.0
lwt.5.4.2: Incompatible with restriction: >= 2.4.0 & < 3.0.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~
- react -> (problem)
lambda-term 1.5 requires < 1.0.0
Rejected candidates:
react.1.2.2: Incompatible with restriction: < 1.0.0
react.1.2.1: Incompatible with restriction: < 1.0.0
react.1.2.0: Incompatible with restriction: < 1.0.0
react.1.1.0: Incompatible with restriction: < 1.0.0
react.1.0.1: Incompatible with restriction: < 1.0.0
...
- system-mingw -> (problem)
No usable implementations:
system-mingw.1: Availability condition not satisfied
- zed -> zed.1.6
lambda-term 1.5 requires >= 1.2 & < 2.0