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 (z3) Fails To Install in Fedora 38: can't install ocaml-z3: - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by ocaml-z3-4.12.1-1.fc38.x86_64 can't install ocaml-z3-devel: - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64 - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64 - nothing provides ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64 - nothing provides ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64 - nothing provides ocamlx(Stdlib__Callback) = 4071c8a0c213a3d90f3894ee1507cbf1 needed by ocaml-z3-devel-4.12.1-1.fc38.x86_64 - nothing provides ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081 needed by ocaml-z3-devel-4.12.1-1.fc38.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-38-x86_64 --config-opts mirrored=False install ocaml-z3 ocaml-z3-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 38. Thanks for taking care of it!