Fedora 34 Update: cbmc-5.29.0-1.fc34

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2021-22a8b1b75f
2021-06-05 01:03:49.110125
--------------------------------------------------------------------------------

Name        : cbmc
Product     : Fedora 34
Version     : 5.29.0
Release     : 1.fc34
URL         : http://www.cprover.org/cbmc/
Summary     : Bounded Model Checker for ANSI-C and C++ programs
Description :
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.

--------------------------------------------------------------------------------
Update Information:

new upstream release
--------------------------------------------------------------------------------
ChangeLog:

* Wed May 12 2021 Vincent Mihalkovic  - 5.29.0-1
- New upstream release
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2021-22a8b1b75f' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------