It is enough for us if any version of (every) package is installed.