Package resolution in Opam with multiple repos

(It is briefly covered in the manual, but I add that only to head off questions as to where it’s documented!!)

1 Like