cbmc-utils-5.50.0-4.fc38 - Fedora Packages

Date	Author	Change
2023-01-29	Lukáš Zaoral <lzaoral at redhat dot com> - 5.50.0-4	- Fix F38 FTBFS - Use SPDX license format - Modernize the spec a bit
2023-01-18	Fedora Release Engineering <releng at fedoraproject dot org> - 5.50.0-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 5.50.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-02-09	Vincent Mihalkovic <vmihalko at redhat dot com> - 5.50.0-1	- New upstream release of cbmc and also cbmc-utils - Add "--add-cmd-line-arg" option for goto-instrument
2022-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 5.38.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-09-15	Vincent Mihalkovic <vmihalko at redhat dot com> - 5.38.0-1	- New upstream release of cbmc and also cbmc-utils
2021-08-23	Pavel Simovec <psimovec at redhat dot com> - 5.37.0-1	- New upstream release - fix broken indentation in a patch
2021-08-04	Lukas Zaoral <lzaoral at redhat dot com> - 5.35.0-1	- New upstream release - Use plain doxygen to cut-down some build dependencies
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 5.29.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-05-12	Vincent Mihalkovic <vmihalko at redhat dot com> - 5.29.0-1	- New upstream release

cbmc-utils-5.50.0-4.fc38 in Fedora 38