Changelog for Coin4-4.0.0-2.fc31.x86_64.rpm :

* Tue Sep 17 2019 Richard Shaw - 4.0.0-2- Update spec file per reviewer comments.- Change package name from Coin4 to coin.
* Tue Sep 03 2019 Richard Shaw - 4.0.0-1- Initial packaging.