Changelog for yices-doc-2.6.4-7.fc39.noarch.rpm :

* Sat Jul 22 2023 Fedora Release Engineering - 2.6.4-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering - 2.6.4-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James - 2.6.4-5- Regenerate the cudd configure script to fix FTBFS- Convert License tag to SPDX
* Mon Nov 28 2022 Timm Bäder - 2.6.4-5- Get rid of an implicit int function declaration in a configure check
* Sat Jul 23 2022 Fedora Release Engineering - 2.6.4-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Jan 22 2022 Fedora Release Engineering - 2.6.4-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Jan 11 2022 Jerry James - 2.6.4-2- Build with kissat support
* 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