Hello,

Please note that this comment was generated automatically by https://forge.fedoraproject.org/releng/tooling/src/branch/main/release-process/bug-filing/follow-policy/follow_policy.py
If you feel that this output has mistakes, please open an issue at https://forge.fedoraproject.org/releng/tickets/issues

Your package (lem) Fails To Install in Fedora 46:

can't install lem-devel:
  - nothing provides ocamlx(Stdlib__Array) = 8ec69c15a63db8574d415899732ab74e needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Stdlib__String) = 16164d7a73bab99870c22d145e17a925 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Stdlib__Format) = 088b18472bb48a6edaae7e95b2b7364a needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = 7835a42f37391041e5d9126bfd5756c1 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Stdlib__Int32) = 48d313d5ba4cd033ba31ccfcd1000f13 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Big_int_Z) = 019e3a59fa4b8ff0eb17855f4442daa5 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Q) = 3d479d310586c2161f7286042cbeadea needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Z) = 2765b84f5b08643db510a75b966078e3 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Big_int) = 91c7c77d468809d8489d30ccf6466914 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Nat) = 19868fab5e6b98beb93ab8270e0a54f0 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Num) = 39ac9bf972900b55259aa61e42059460 needed by lem-devel-2026.05.01-3.fc45.x86_64
  - nothing provides ocamlx(Ratio) = f509c6c1d4e5432270fb6905ac86bc87 needed by lem-devel-2026.05.01-3.fc45.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, your package may be orphaned in 8+ weeks.
See https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/


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-46-x86_64 --config-opts mirrored=False install lem-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!