Changelog for cbmc-debuginfo-5.95.1-4.fc40.x86_64.rpm :

* 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
* Wed Feb 09 2022 Vincent Mihalkovic - 5.50.0-1- New upstream release of cbmc and also cbmc-utils- Add \"--add-cmd-line-arg\" option for goto-instrument