Fedora Packages

cbmc-5.95.1-4.fc40 in Fedora Rawhide

↵ Return to the main page of cbmc
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

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

Provides

  • cbmc
  • cbmc(x86-64)

Files


Sources on Pagure