Fedora Packages

cbmc-doc-5.50.0-6.fc39 in Fedora 39

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

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

Changelog

Date Author Change
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
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

Provides

  • cbmc-doc
  • cbmc-doc(x86-64)

Files