-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-5e6e1babbc 2025-05-14 02:28:39.899007+00:00 --------------------------------------------------------------------------------
Name : cbmc Product : Fedora 42 Version : 6.4.1 Release : 3.fc42 URL : https://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: fix F42 FTBFS (rhbz#2364019) -------------------------------------------------------------------------------- ChangeLog: * Mon May 5 2025 Lukáš Zaoral <[email protected]> - 6.4.1-3 - fix FTBFS with GCC 15 (rhbz#2364019) * Thu Jan 16 2025 Fedora Release Engineering <[email protected]> - 6.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild -------------------------------------------------------------------------------- References: [ 1 ] Bug #2364019 - cbmc: FTBFS in Fedora 42 https://bugzilla.redhat.com/show_bug.cgi?id=2364019 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-5e6e1babbc' 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 --------------------------------------------------------------------------------
-- _______________________________________________ package-announce mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
