Changelog for yices-tools-2.6.0-2.fc29.i686.rpm :

* Sat Jul 14 2018 Fedora Release Engineering - 2.6.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 04 2018 Jerry James - 2.6.0-1- New upstream version
* 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