On 2021-11-5 18:42 , Ryan Schmidt wrote:
Either we allow portindexes that differ by OS version and arch (and we 
currently do), or we do not.

That's something of a false dichotomy; we can also allow it for some but not all options. I am advocating disallowing it by policy for version and revision, not just because of this issue but because it makes it impossible to answer questions like "What is the current version of this port?"

- Josh

Reply via email to