If a package is uninstalled, then it must be removed from the local repository.