Bug 2104299

Summary:	F37FailsToInstall: frama-c
Product:	[Fedora] Fedora	Reporter:	Miro Hrončok <mhroncok>
Component:	frama-c	Assignee:	Jerry James <loganjerry>
Status:	CLOSED WORKSFORME	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	Andre.MARONEZE, loganjerry
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:		Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2022-07-08 11:27:18 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:	2045109

Description Miro Hrončok 2022-07-05 22:42:42 UTC

Hello,

Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (mhroncok).

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

can't install frama-c:
  - nothing provides ocamlx(Apron) = 5e7a4c6c10ac15bb7742aa4a6614f76d needed by frama-c-24.0-7.fc37.x86_64
  - nothing provides ocamlx(Box) = 04772b0e04cac675604ab548fc54b64b needed by frama-c-24.0-7.fc37.x86_64
  - nothing provides ocamlx(Oct) = 9dd3d53693eea2103834ea8f62d6d0d9 needed by frama-c-24.0-7.fc37.x86_64
  - nothing provides ocamlx(Polka) = a6def8619ded8ec6f642277c26e8ac8f needed by frama-c-24.0-7.fc37.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-37-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

Thanks!

Comment 1 Miro Hrončok 2022-07-08 11:27:18 UTC

Hello,

Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (mhroncok).

All subpackages of a package against which this bug was filled are now installable or removed from Fedora 37.

Thanks for taking care of it!