Bug 2364019
| Summary: | cbmc: FTBFS in Fedora 42 | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Lukáš Zaoral <lzaoral> |
| Component: | cbmc | Assignee: | Lukáš Zaoral <lzaoral> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | medium | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | 42 | CC: | kdudka, lzaoral, vmihalko |
| Target Milestone: | --- | ||
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Linux | ||
| URL: | https://koschei.fedoraproject.org/package/cbmc | ||
| Whiteboard: | |||
| Fixed In Version: | cbmc-6.4.1-3.fc42 | Doc Type: | --- |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2025-05-14 02:29:08 UTC | Type: | --- |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
| Embargoed: | |||
|
Description
Lukáš Zaoral
2025-05-05 07:34:41 UTC
FEDORA-2025-5e6e1babbc (cbmc-6.4.1-3.fc42) has been submitted as an update to Fedora 42. https://bodhi.fedoraproject.org/updates/FEDORA-2025-5e6e1babbc FEDORA-2025-5e6e1babbc has been pushed to the Fedora 42 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2025-5e6e1babbc` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2025-5e6e1babbc See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates. FEDORA-2025-5e6e1babbc (cbmc-6.4.1-3.fc42) has been pushed to the Fedora 42 stable repository. If problem still persists, please make note of it in this bug report. |