Fedora Packages

cbmc-utils-5.25.0-1.fc34 in Fedora 34

↵ 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-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
2020-10-08 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.15.0-1 - New upstream release
2020-09-30 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.14.3-1 - New upstream release
2020-09-29 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.13.1-1 - New upstream release - Use CMake instead of plain Makefiles - Add cbmc-utils subpackage
2020-09-01 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.13.0-1 - New upstream release
2020-08-12 Vincent Mihalkovic <vmihalko at redhat dot com> - 5.12.6-1 - Replace custom goto-cc.1 with symlinks to cbmc.1 - Enable full cbmc testsuite - python to python3 fix in one test case
2020-07-27 Fedora Release Engineering <releng at fedoraproject dot org> - 5.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Provides

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

Files


Sources on Pagure