An opam installation can have multiple repositories which are ranked by their priority. What does that mean when searching for a package? What is the set of packages considered in the presence of multiple repositories as multiple strategies could be imagined, e.g.:
- Repositories are searched in order
- All repositories are considered and priorities are used to break ties
How do constraints of packages and priorities of repositories interact?