Hello,

Please note that this comment was generated automatically. If you feel that this output has mistakes, please contact me via email (mhroncok).

Your package (z3) Fails To Install in Fedora 37:

can't install ocaml-z3:
  - nothing provides ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Callback) = be7617c46974ca4057e76573498f075e needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(CamlinternalMod) = 92273e2dfce7fcf989bac3ceb0683002 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Q) = 78e67b574090234468dc765b5bdb7717 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Z) = 8a90aa4bf2d57bb938bc384ae8abc507 needed by ocaml-z3-4.8.17-2.fc37.x86_64
  
can't install ocaml-z3-devel:
  - nothing provides ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Callback) = be7617c46974ca4057e76573498f075e needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Stdlib__Callback) = a6d9902a2a7bbbd1662b20a8e42c012d needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(CamlinternalMod) = 92273e2dfce7fcf989bac3ceb0683002 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Q) = 78e67b574090234468dc765b5bdb7717 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocaml(Z) = 8a90aa4bf2d57bb938bc384ae8abc507 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(CamlinternalMod) = 4380b30d1cd2228059adef903b6d5475 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Q) = 3d97d2b5e700ab2b3dcf98ce747beee7 needed by ocaml-z3-devel-4.8.17-2.fc37.x86_64
  - nothing provides ocamlx(Z) = b36fb0a5bc3d692257065f1b9ad3f592 needed by ocaml-z3-devel-4.8.17-2.fc37.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-37-x86_64 --disablerepo='*' --enablerepo=local 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!