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 43: can't install ocaml-why3: - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-why3-1.8.0-5.fc43.x86_64 - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-why3-1.8.0-5.fc43.x86_64 - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-why3-1.8.0-5.fc43.x86_64 can't install ocaml-why3-devel: - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 - nothing provides ocamlx(Mpz) = 6a8486073a056db80946f608c1f4c75a needed by ocaml-why3-devel-1.8.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 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/ All subpackages of a package against which this bug was filled are now installable or removed from Fedora 43. Thanks for taking care of it!