Changelog for yices-tools-2.6.4-1.fc35.x86_64.rpm :

* Mon Oct 25 2021 Jerry James - 2.6.4-1- Version 2.6.4- Drop upstreamed -big-endian and -sphinx3 patches- Enable tests on 32-bit platforms
* Fri Jul 23 2021 Fedora Release Engineering - 2.6.2-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Thu Jan 28 2021 Fedora Release Engineering - 2.6.2-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Fri Nov 27 2020 Jerry James - 2.6.2-6- Rebuild for cryptominisat 5.8.0
* Mon Aug 03 2020 Jerry James - 2.6.2-5- Rebuild for cadical 1.3.0
* Wed Jul 29 2020 Fedora Release Engineering - 2.6.2-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Apr 25 2020 Jerry James - 2.6.2-3- Rebuild for cryptominisat 5.7.0- Switch to upstream\'s solution for sphinx 3 support
* Thu Apr 16 2020 Jerry James - 2.6.2-2- Use native sphinx 3 support for enum instead of cenum extension (bz 1823515)
* 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