Changelog for yices-doc-2.6.5-4.fc41.noarch.rpm :

* Sat Jul 20 2024 Fedora Release Engineering - 2.6.5-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James - 2.6.5-3- Rebuild for cryptominisat 5.11.22
* Tue Jul 02 2024 Zbigniew Jędrzejewski-Szmek - 2.6.5-2- Use $SOURCE_DATE_EPOCH instead of the current date
* Tue Jun 25 2024 Jerry James - 2.6.5-1- Version 2.6.5
* Tue Feb 20 2024 Jerry James - 2.6.4-12- Fix the SPDX expression
* Fri Feb 09 2024 Jerry James - 2.6.4-11- Rebuild for cryptominisat 5.11.21
* Wed Jan 31 2024 Jerry James - 2.6.4-10- Rebuild for cryptominisat 5.11.15
* Sat Jan 27 2024 Fedora Release Engineering - 2.6.4-9- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* 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- Stop building for 32-bit x86
* 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