Fedora Packages

cbmc-utils-5.38.0-1.fc35 in Fedora 35

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

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

Changelog

Date Author Change
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
2021-03-10 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.25.0-2 - Add Requires: clang
2021-03-10 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.25.0-1 - Add csexec-cbmc.sh script - New upstream release
2021-02-23 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.24.0-1 - Add goto-clang for a hybrid binary translation - New upstream release
2021-01-26 Fedora Release Engineering <releng at fedoraproject dot org> - 5.17.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-11-02 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.17.0-1 - New upstream release

Provides

  • cbmc-utils
  • cbmc-utils(x86-64)

Files


Sources on Pagure