Changelog for cbmc-debugsource-5.95.1-5.fc41.x86_64.rpm :

* Wed Jul 17 2024 Fedora Release Engineering - 5.95.1-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Fri Feb 09 2024 Lukáš Zaoral - 5.95.1-4- fix FTBFS on Rawhide (rhbz#2259235)
* Tue Jan 23 2024 Fedora Release Engineering - 5.95.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering - 5.95.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Nov 21 2023 Lukáš Zaoral - 5.95.1-1- Update to 5.95.1 (rhbz#2239079)
* Fri Jul 21 2023 Lukáš Zaoral - 5.50.0-6- Exclude installation of test dependencies on non-x86_64 architectures
* Wed Jul 19 2023 Fedora Release Engineering - 5.50.0-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sun Jan 29 2023 Lukáš Zaoral - 5.50.0-4- Fix rawhide FTBFS- Use SPDX license format- Modernize the spec a bit
* Wed Jan 18 2023 Fedora Release Engineering - 5.50.0-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Wed Jul 20 2022 Fedora Release Engineering - 5.50.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild