Changelog for coin-or-Data-miplib3-1.2.7-2.fc31.noarch.rpm :

* Wed Jul 24 2019 Fedora Release Engineering - 1.2.7-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Fri Jun 21 2019 Jerry James - 1.2.7-1- Initial RPM