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 (ocaml-menhir) Fails To Install in Fedora 37:

can't install coq-menhirlib:
  - nothing provides ocaml(NCoq_Bool_Bool) = 93d3d9bf225bf92a20a1f2ba22cf38c5 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Classes_RelationClasses) = 72e01bc0ac95463efe240389568721b8 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Datatypes) = 30f7ae51821fb3a6977b5d2140065d0e needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Decimal) = e19e6baf8c3207010aae85c03fdafb41 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Hexadecimal) = 8c5a2c19edfef12a751e0d8ff3a3444e needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Logic) = a0ec623c04fda942906a9ad324cb1e97 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Peano) = fb359c78f542177895d114e0775b41b4 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Init_Specif) = 051237e5ea4521a9408e882dc5f73c45 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Lists_List) = 00fa81f8fd87618c5e08dd1ab32fe120 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Numbers_BinNums) = 05a29c3d22dd1715ef21e134184463fe needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_PArith_BinPos) = 37c4e5a547b99d8a2ab3416ab62e3626 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocaml(NCoq_Structures_OrdersTac) = 2c47e3645c26ab97a1edbd6992154c01 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Arith_PeanoNat) = cee09cfa24e2afaaecd9b7a035f5f221 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 0f65d75e62ace9f27b222fd7d569d315 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = c8b0fa9195cbfeb903ed4edf0e0c7e20 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Init_Nat) = d287528c66c6fe49871708e4fbe756bc needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = d0f60a1af1f8a60eb9afe467c41a204b needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = a1b1abfd5efd28efb51d1a9fded9cff8 needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = 5d9d15aea5203afe35c394dcf298557f needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(Nativecode) = 62167bca85b40dae270bce74fa82c2cc needed by coq-menhirlib-20220210-3.fc37.x86_64
  - nothing provides ocamlx(Nativevalues) = 20f20d4c6c97f02e5661b3aa904d8981 needed by coq-menhirlib-20220210-3.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 coq-menhirlib


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!