Changelog for yices-tools-2.5.4-3.fc28.x86_64.rpm :

* Fri Feb 09 2018 Fedora Release Engineering - 2.5.4-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* 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