Specification for Updating Semantically Versioned Packages