Bug 2375014 - frama-c-30.0-11.fc43 FTBFS
Summary: frama-c-30.0-11.fc43 FTBFS
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: rawhide
Hardware: Unspecified
OS: Linux
unspecified
medium
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F43FTBFS
TreeView+ depends on / blocked
 
Reported: 2025-06-26 17:50 UTC by Tom Stellard
Modified: 2025-07-13 19:22 UTC (History)
2 users (show)

Fixed In Version: frama-c-31.0-1.fc43
Clone Of:
Environment:
Last Closed: 2025-07-13 19:22:00 UTC
Type: ---
Embargoed:
tstellar: mirror+

Attachments (Terms of Use)


Links
System ID Private Priority Status Summary Last Updated
Red Hat Issue Tracker FC-1751 0 None None None 2025-06-26 17:51:55 UTC

Description Tom Stellard 2025-06-26 17:50:51 UTC 
Scratch Build: https://koji.fedoraproject.org/koji/taskinfo?taskID=134437172

Reproducible: Always
Comment 1 Jerry James 2025-06-26 19:01:17 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.
Comment 2 Fedora Update System 2025-07-13 12:48:40 UTC 
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
Comment 3 Fedora Update System 2025-07-13 19:22:00 UTC 
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.
Note You need to log in before you can comment on or make changes to this bug.