Changelog for
yices-doc-2.6.4-12.fc40.noarch.rpm :
* 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