I think it would be useful to define an integer PackageVersion here, too. The mirrors list could then contain a list of `version url`.