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

can't install frama-c:
  - nothing provides ocaml(Re) = 6af76a7e0d89517c94fa83f8826f7eec needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110 needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58 needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67 needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c needed by frama-c-29.0-8.fc41.x86_64
  - nothing provides ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c needed by frama-c-29.0-8.fc41.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-42-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!