Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

solver does not work when latest version of a package is not compatible with requested ocaml version #342

Open
hannesm opened this issue Oct 26, 2022 · 1 comment
Labels
investigate Issues that require further investigation to understand the issue

Comments

@hannesm
Copy link
Contributor

hannesm commented Oct 26, 2022

with opam-repository at ocaml/opam-repository@c07cbf2 (lru-0.3.0-1, including the constaint ocaml {>= "5.0"}), an opam-monorepo for any MirageOS unikernel fails with:

663.918s:- lru -> (problem)
663.918s:    User requested = 0.3.0-1
663.918s:    Rejected candidates:
663.918s:      lru.0.3.0-1: Requires ocaml >= 5.0

Is this intentional? It could as well select the lru 0.3.0, which is compatible with ocaml 4.14. See full log at https://builds.robur.coop/job/traceroute/build/02fdb146-d7a7-4877-a8b3-4808418f06e1/console

@Leonidas-from-XIV
Copy link
Member

Hmm, that doesn't seem intentional. I'm confused why lru.0.3.0 is not in the list of rejected packages, as it should have some reason for why it is rejected.

It might be due to the deduplication that is linked here although I feel like that would be a bug that's due to the deduplication happening too early to even know whether there would be any duplicate candidates (since as you say, it could've picked up an older version and 3.0.0-1 would be rejected anyway).

@tmattio tmattio added the investigate Issues that require further investigation to understand the issue label Jan 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
investigate Issues that require further investigation to understand the issue
Projects
None yet
Development

No branches or pull requests

3 participants