You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In case you have two packages with the same name/version in two repositories, it would be great to be able to choose which one you want using --repos, as it's possible for e.g. opam list.
Actually, we need this in software heritage and for now we have to use a hack based on opam internals, which will not work anymore with 2.1 so having --repos available would be much cleaner ! :)
The text was updated successfully, but these errors were encountered:
In case you have two packages with the same name/version in two repositories, it would be great to be able to choose which one you want using
--repos
, as it's possible for e.g.opam list
.Actually, we need this in software heritage and for now we have to use a hack based on opam internals, which will not work anymore with 2.1 so having
--repos
available would be much cleaner ! :)The text was updated successfully, but these errors were encountered: