Hello, Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (ignatenkobrain). Your package (frama-c) Fails To Install in Fedora 33: can't install frama-c: - nothing provides ocamlx(Dynlink) = 9cd4146f57b30032ce3d97b13ffa5c96 needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocaml(MenhirLib) = 41fadef2874f1db56b0f5febdbd4b9b0 needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocaml(Ppx_deriving_runtime) = 6d97df79afec3ff61431cdbbb8fcc9e0 needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocaml(Ppx_deriving_yojson_runtime) = 5e2c56c6ca23b184ec54a9234fbd767a needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocaml(Result) = 7e302ff53426707d595a852b065dd13d needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocamlx(Graph) = 829337adaefe4028f76cdf948155c6fe needed by frama-c-21.1-1.fc33.x86_64 - nothing provides ocamlx(Why3) = 000c17a1f2776fb78fc42bf957f48909 needed by frama-c-21.1-1.fc33.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. 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/rawhide-gating/multi-builds/ Thanks!
Hello, This is the first reminder (step 3 from https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/#_package_removal_for_long_standing_ftbfs_and_fti_bugs). 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.
FEDORA-2020-81c6832226 has been submitted as an update to Fedora 33. https://bodhi.fedoraproject.org/updates/FEDORA-2020-81c6832226
FEDORA-2020-81c6832226 has been pushed to the Fedora 33 testing repository. In short time you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --advisory=FEDORA-2020-81c6832226` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2020-81c6832226 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2020-81c6832226 has been pushed to the Fedora 33 stable repository. If problem still persists, please make note of it in this bug report.
The needinfo request[s] on this closed bug have been removed as they have been unresolved for 1000 days