Changelog for cbmc-debuginfo-5.50.0-6.fc39.x86_64.rpm :

* 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
* Wed Jan 19 2022 Fedora Release Engineering - 5.38.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Wed Sep 15 2021 Vincent Mihalkovic - 5.38.0-1- New upstream release of cbmc and also cbmc-utils
* Mon Aug 23 2021 Pavel Simovec - 5.37.0-1- New upstream release- fix broken indentation in a patch
* Wed Aug 04 2021 Lukas Zaoral - 5.35.0-1- New upstream release- Use plain doxygen to cut-down some build dependencies
* Wed Jul 21 2021 Fedora Release Engineering - 5.29.0-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild