Hello,

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

Your package (flocq) Fails To Install in Fedora 33:

can't install flocq:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 06c9cd651889d613ab55bfe06fe862dc needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = 08a53e07add8e83621c353b0c24e91ce needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = 83eeca0b7bccc9d2d6397e6f1d47eb33 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 07c0969285eafbe0507dbc6b1fcb6014 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = 03db9b9c71ab0bb4c29e33c7f9822af2 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = 60c9b532626d5eb47cf66829e9cdf614 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = b58644461592004e6d109b4554ff080d needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = e7b780ee0a9e7b8880b31dd301e95379 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 55722aa02df2dcaf67cff1ff4e5f2872 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = 7870a22940fc595465e033a92d4c7034 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 85255a2f4877b0d41e7c3b7639060fad needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(Nativecode) = 3813d9e664c5b61d25e9be9e7fafc553 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(Nativelib) = feb22b8963c0bee20b31d656351c01dc needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(Nativevalues) = 323c7544a2cb5b32fa6ccf39aead7fd0 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bool) = d261d55acdec66a7261620fbce1fbae8 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Floats_SpecFloat) = ce2d27cc12203608c04a69c5c5f7c4be needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Nat) = 28a019434efa9b444930309f4704f21e needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_NArith_BinNat) = 494edd616378f47456ee5a63c8bf5208 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rpower) = 6fcad6101465d2c2310dead380251557 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_ZArith_dec) = 22bff4bfbc4a1c4f23d6a6fe804882ad needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zorder) = f455c2f0c417506f45d6078b4dfc30f1 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Floats_FloatAxioms) = 07ab7d68243112ef9ab7ffe38ae75fdf needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Floats_FloatOps) = 11961a72d9e6ecd8dc468c5a4b177612 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_RIneq) = c1fd96ea9629c334e5cbbc16075227f8 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_R_sqrt) = 9cda177a08450e015e79d231903c1b94 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rfunctions) = c4f4d93a5b50c67e02afad6c7398c4d2 needed by flocq-3.3.1-3.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinIntDef) = 783dc4d916ee18188345765e32070dc5 needed by flocq-3.3.1-3.fc33.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/rawhide-gating/multi-builds/

Thanks!