Changelog for yices-2.6.2-1.fc32.x86_64.rpm :

* Thu Mar 26 2020 Jerry James - 2.6.2-1- Version 2.6.2- Drop upstreamed -missing-typedef patch- Add -big-endian patch to fix s390x build- Add -cryptominisat5 patch to fix build with recent cryptominisat releases- Skip tests on 32-bit platforms; some tests fail due to the limited size of a C integer
* Fri Jan 31 2020 Fedora Release Engineering - 2.6.1-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Jan 23 2020 Jerry James - 2.6.1-5- Add -missing-typedef patch to fix FTBFS with gcc 10- Set -doc subpackage to noarch
* Fri Nov 22 2019 Jerry James - 2.6.1-4- Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis
* Sat Jul 27 2019 Fedora Release Engineering - 2.6.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 03 2019 Fedora Release Engineering - 2.6.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Oct 30 2018 Jerry James - 2.6.1-1- New upstream version
* 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