opam-bundle icon indicating copy to clipboard operation
opam-bundle copied to clipboard
verified publisher icon AltGr

Refine filter

Open hernoufM opened this issue 2 years ago • 0 comments

This PR fixes filter creation, in order to take correct constraint about pinned package's version. This avoids choosing package from repository and further inconsistent dependencies' resolution.

hernoufM avatar May 05 '23 21:05 hernoufM