Look more closely at the docs for "Obsoletes" in RPM, not just those for "Provides". Being able to transparently replace an existing package with a renamed one that installs files with the same names is certainly part of the purpose/capabilities of the RPM dependency machinery (i.e. precisely the distribute vs setuptools situation).

We may want to clarify the wording to ensure it is clear that the provision of the dist name (as posted on PyPI) is implied, though.

Cheers,
Nick.