Bug 2375014
| Summary: | frama-c-30.0-11.fc43 FTBFS | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Tom Stellard <tstellar> |
| Component: | frama-c | Assignee: | Jerry James <loganjerry> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | medium | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | rawhide | CC: | Andre.MARONEZE, loganjerry |
| Target Milestone: | --- | Flags: | tstellar:
mirror+
|
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Fixed In Version: | frama-c-31.0-1.fc43 | Doc Type: | --- |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2025-07-13 19:22:00 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: | |||
| Bug Depends On: | |||
| Bug Blocks: | 2339432 | ||
|
Description
Tom Stellard
2025-06-26 17:50:51 UTC
Almost all OCaml packages currently FTBFS; see https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/HARE2EFDVGFERR62BDP4YTMC535OPYKY/. Richard Jones wants to wait until the next OCaml release to fix the issue, since that requires a mass rebuild of all OCaml packages anyway, but upstream hasn't even released a beta yet, much less a release candidate. I think we'll have to bite the bullet and do a mass OCaml rebuild soon. FEDORA-2025-b3078216fc (0install-2.18-5.fc43, alt-ergo-2.3.3-25.fc43, and 196 more) has been submitted as an update to Fedora 43. https://bodhi.fedoraproject.org/updates/FEDORA-2025-b3078216fc FEDORA-2025-b3078216fc (0install-2.18-5.fc43, alt-ergo-2.3.3-25.fc43, and 196 more) has been pushed to the Fedora 43 stable repository. If problem still persists, please make note of it in this bug report. |