Bug 2252981 - F40FailsToInstall: frama-c
Summary: F40FailsToInstall: frama-c
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: rawhide
Hardware: Unspecified
OS: Unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
Depends On:
Blocks: F40FailsToInstall
TreeView+ depends on / blocked
Reported: 2023-12-05 14:24 UTC by Fedora Fails To Install
Modified: 2023-12-05 17:07 UTC (History)
2 users (show)

Fixed In Version: frama-c-27.1-7.fc40
Doc Type: ---
Doc Text:
Clone Of:
Last Closed: 2023-12-05 17:07:55 UTC
Type: ---

Attachments (Terms of Use)

Description Fedora Fails To Install 2023-12-05 14:24:13 UTC

Please note that this comment was generated automatically by https://pagure.io/releng/blob/main/f/scripts/ftbfs-fti/follow-policy.py
If you feel that this output has mistakes, please open an issue at https://pagure.io/releng/

Your package (frama-c) Fails To Install in Fedora 40:

can't install frama-c:
  - nothing provides ocamlx(Dune_site_plugins) = e2711caf4282f1bf315bba7aabd3e5d4 needed by frama-c-27.1-6.fc40.x86_64
  - nothing provides ocamlx(Dune_site_plugins__Plugins) = e6ced273879d82fafafaf0c7db26ea87 needed by frama-c-27.1-6.fc40.x86_64
If you know about this problem and are planning on fixing it, please acknowledge so by setting the bug status to ASSIGNED. If you don't have time to maintain this package, consider orphaning it, so maintainers of dependent packages realize the problem.

If you don't react accordingly to the policy for FTBFS/FTI bugs (https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/), your package may be orphaned in 8+ weeks.

P.S. The data was generated solely from koji buildroot, so it might be newer than the latest compose or the content on mirrors. To reproduce, use the koji/local repo only, e.g. in mock:

    $ mock -r fedora-40-x86_64 --config-opts mirrored=False install frama-c

P.P.S. If this bug has been reported in the middle of upgrading multiple dependent packages, please consider using side tags: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/#updating-inter-dependent-packages


Comment 1 Fedora Update System 2023-12-05 17:06:47 UTC
FEDORA-2023-61b2204883 has been submitted as an update to Fedora 40. https://bodhi.fedoraproject.org/updates/FEDORA-2023-61b2204883

Comment 2 Fedora Update System 2023-12-05 17:07:55 UTC
FEDORA-2023-61b2204883 has been pushed to the Fedora 40 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.