it's an error to download package available in the repos

This still seems weird to me logically, but it fails the download, so it
really should be an error.