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

* Wed Jan 10 2024 Jerry James - 2.6.4-8- Rebuild for cadical 1.9.4- Update font licenses from LPPL-1.0 to LPPL-1.3a
* 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