cbmc-utils-5.95.1-4.fc40 - Fedora Packages

Date	Author	Change
2024-02-09	Lukáš Zaoral <lzaoral at redhat dot com> - 5.95.1-4	- fix FTBFS on Rawhide (rhbz#2259235)
2024-01-23	Fedora Release Engineering <releng at fedoraproject dot org> - 5.95.1-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 5.95.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-11-21	Lukáš Zaoral <lzaoral at redhat dot com> - 5.95.1-1	- Update to 5.95.1 (rhbz#2239079)
2023-07-21	Lukáš Zaoral <lzaoral at redhat dot com> - 5.50.0-6	- Exclude installation of test dependencies on non-x86_64 architectures
2023-07-19	Fedora Release Engineering <releng at fedoraproject dot org> - 5.50.0-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-01-29	Lukáš Zaoral <lzaoral at redhat dot com> - 5.50.0-4	- Fix rawhide 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

cbmc-utils-5.95.1-4.fc40 in Fedora 40