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

can't install flocq:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 67718d5109c60347c91fb60c90a10a46 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = adc6530ccb8be1921b150ce4611ad4a9 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = fa01859e1fd27eedd81cdaacfe2398da needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 08c04a6018adfba932825df2ccbda457 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = c117bfd84ecb999d24f79fd4030b0e30 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = ac0d7e0beb92d665c5ee1c74e8c1ced5 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = 73ea3ff091278eb776966a24b74b5438 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = c17037f67dbabca8c2e3debf83e4ced8 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 64e0704ea73283b95cafab02f6c215eb needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = fd5854cf7bd3ae9b038fc36f4b6299a2 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 2b56376f6ba5da488d8b28169bf1ccd6 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(Nativecode) = ce6da831b7d0683dff407f3186b9cfb2 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(Nativevalues) = bfeeac9b9236475acc0975b9e8c91d42 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bool) = df00af1896b59f06b3cd18ee774de77e needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Floats_SpecFloat) = d5fcb9e7aa18a0aed923f40bc479c49f needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Nat) = 8c0d9467cb42832d1f778b66e345766d needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_NArith_BinNat) = 7e0311557ff69a930c59d4735add75a1 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_R_sqrt) = 3ba6a8e823c2aaec2ed07c2157f0c054 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rfunctions) = c307adcbbfaf661003ae36f34b26feb1 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rpower) = 86f70604dc6f9af0059680c24f3d5408 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_ZArith_dec) = 05b5b524766ea58186828e7d4b323c26 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Floats_FloatAxioms) = 572fea9d31b3a65d135ed29a7676aa36 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Floats_FloatOps) = e17d9712a64c1c70890ccb2c25064b01 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_RIneq) = 31844490dbf808e2d70e7af40efb4dd8 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinIntDef) = 472e0b62e7bf57dc2aa4d46d66a73813 needed by flocq-3.4.2-2.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zorder) = c0bbe09712e6b2d9f010faf6ca79bcf5 needed by flocq-3.4.2-2.fc35.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.

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!