Hello,

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 43:

can't install frama-c:
  - nothing provides ocaml(Yaml) = 66abd763ffe14c36a99bb5af0ed88b8b needed by frama-c-30.0-5.fc43.x86_64
  - nothing provides ocamlx(Yaml) = 6a3127828adb4becb321166e80dd72c0 needed by frama-c-30.0-5.fc43.x86_64
  - nothing provides ocamlx(Yaml_unix) = 0e2dba7299e088c539fadf46bd793766 needed by frama-c-30.0-5.fc43.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-43-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!