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 (coq) Fails To Install in Fedora 38:

can't install coq:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by coq-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by coq-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b needed by coq-8.16.1-2.fc38.x86_64
  
can't install coq-coqide-server:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(CamlinternalOO) = 058cc49b692a2dd69add77baeb7dfd6d needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00 needed by coq-coqide-server-8.16.1-2.fc38.x86_64
  
can't install coq-core:
  - nothing provides ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Bytes) = e596dc3e9601d184f8fb9caa16ebc39e needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Printexc) = 91d35af34dfc354f724931b058a14954 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Char) = 10c8fcef55e12a07a1c4ab479d07547d needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Int64) = 8a6af33b06c097c633dbf42a56b24bd0 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Unix) = 7ab988a5f1bc8761aa80f04fc8c5580e needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Int32) = 902c74c2fdd5555916320d907ba89f7f needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Gc) = e35fd114c1210e06cfdf8cb8e368628c needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Random) = 4e7342c0bcf9660dc77ca008890965fc needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Queue) = 2cf30720dec187835200485a0eda7f62 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Scanf) = 4e834bd2603425af3ac3eaddd89f0f4f needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Weak) = dfb096ede16e512b37567ba33be3fb3c needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Obj) = f4a3fd2b3174036e9e913e92c4f7b2ba needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Str) = 88040aadd5ce239c39603ad24fe18862 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Marshal) = 3e832c8ffc49756e959e1c2d30cc4c09 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Digest) = b1afec0ae33fff7434ae1060305691f5 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Mutex) = bcb90f32e1d0663edfa23f9b0f06493a needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Lazy) = 7c884197066b622803d08bb919760f07 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Stream) = c06c5446818c6057b30329436dd271e3 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Dynlink) = e18097515416b9553db8d444dc4b5d85 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Condition) = 7735c6a072870e7ee10962d798a00540 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Fun) = f6f8c691124d6e7b9b9b3ca967644a42 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Thread) = fa7df88b05f340906ceabd019abbbbe2 needed by coq-core-8.16.1-2.fc38.x86_64
  - nothing provides ocamlx(Stdlib__Ephemeron) = 798ec24cbfd278de996827b3ee57f9af needed by coq-core-8.16.1-2.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 coq coq-coqide-server coq-core


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!