https://bugzilla.redhat.com/show_bug.cgi?id=1506429
--- Comment #8 from Troy Curtis troycurtisjr@gmail.com --- LOL! It is up to you of course as maintainer but the renaming/splitting guidelines [0] mention you are supposed to remove old provides after 2 releases anyway. As nothing depends on it currently, my opinion is that a clean break would probably be best :)
0: https://fedoraproject.org/wiki/Upgrade_paths_%E2%80%94_renaming_or_splitting...