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 (why3) Fails To Install in Fedora 40: can't install ocaml-why3: - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-why3-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-why3-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-why3-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-why3-1.6.0-8.fc40.x86_64 can't install ocaml-why3-devel: - nothing provides ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf needed by ocaml-why3-devel-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a needed by ocaml-why3-devel-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 needed by ocaml-why3-devel-1.6.0-8.fc40.x86_64 - nothing provides ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 needed by ocaml-why3-devel-1.6.0-8.fc40.x86_64 - nothing provides ocamlx(Big_int) = 9baee39b19ca3fc273e216de36f77a4f needed by ocaml-why3-devel-1.6.0-8.fc40.x86_64 - nothing provides ocamlx(Nat) = ab421a60497138b6287679466dd16c17 needed by ocaml-why3-devel-1.6.0-8.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 ocaml-why3 ocaml-why3-devel 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!
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/ This package fails to install and maintainers are advised to take one of the following actions: - Fix this bug and close this bugzilla once the update makes it to the repository. (The same script that posted this comment will eventually close this bugzilla when the fixed package reaches the repository, so you don't have to worry about it.) or - Move this bug to ASSIGNED if you plan on fixing this, but simply haven't done so yet. or - Orphan the package if you no longer plan to maintain it. If you do not take one of these actions, the process at https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/#_package_removal_for_long_standing_ftbfs_and_fti_bugs will continue. This package may be orphaned in 7+ weeks. This is the first reminder (step 3) from the policy. Don't hesitate to ask for help on https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/ if you are unsure how to fix this bug.
I will be able to update why3 and fix this installation problem in passing once https://src.fedoraproject.org/rpms/ocaml-num/pull-request/1 has been merged.
FEDORA-2024-49d89e7565 has been submitted as an update to Fedora 40. https://bodhi.fedoraproject.org/updates/FEDORA-2024-49d89e7565
FEDORA-2024-49d89e7565 has been pushed to the Fedora 40 stable repository. If problem still persists, please make note of it in this bug report.