Changelog for yices-tools-2.5.4-2.fc27.x86_64.rpm :

* Tue Jan 02 2018 Jerry James - 2.5.4-2- Add a -doc subpackage- Fix end of line encodings- Fix permissions on yices_debug_version.c
* Mon Jan 01 2018 Jerry James - 2.5.4-1- Initial RPM