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

can't install gappalib-coq:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 06c9cd651889d613ab55bfe06fe862dc needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = 08a53e07add8e83621c353b0c24e91ce needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = 83eeca0b7bccc9d2d6397e6f1d47eb33 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 07c0969285eafbe0507dbc6b1fcb6014 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = 03db9b9c71ab0bb4c29e33c7f9822af2 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = 60c9b532626d5eb47cf66829e9cdf614 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = b58644461592004e6d109b4554ff080d needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = e7b780ee0a9e7b8880b31dd301e95379 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 55722aa02df2dcaf67cff1ff4e5f2872 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = 7870a22940fc595465e033a92d4c7034 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 85255a2f4877b0d41e7c3b7639060fad needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Nativecode) = 3813d9e664c5b61d25e9be9e7fafc553 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Nativelib) = feb22b8963c0bee20b31d656351c01dc needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Nativevalues) = 323c7544a2cb5b32fa6ccf39aead7fd0 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_Floats_SpecFloat) = ce2d27cc12203608c04a69c5c5f7c4be needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_NArith_BinNat) = 494edd616378f47456ee5a63c8bf5208 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(CErrors) = 3a9c6414ca092c6898fe6e22337e2061 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Constrintern) = 540253c9d0c54011af885e3e5eabfd3d needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Context) = 0cc279c271b5ba4759003e5fdd157df9 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Coqlib) = c23adab9f38ed5d6a0f04616a7a84898 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Dumpglob) = 700f538bb3739dc96bec88495e93a9da needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(EConstr) = 37b84b95e19f1c957bcabe0ea008caf8 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Environ) = ce7b9a734406ccd59a6aa66e336d8e97 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Evarutil) = 74c775f789bf5a42f51c035ed0634095 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Evd) = b128ea45e13719e64cb0032e5e12d4d5 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Ltac_plugin) = 4f9a5a293682a92a069f720a52ca4751 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Mltop) = 2e2e4e721ef6f4e9d971e223f240542a needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(NCoq_setoid_ring_Field_theory) = f71d76c04047640c7b6f380701816c62 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Names) = a8661a8568b05a4857b76ed2fcb7f913 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Pcoq) = 2853a728a701f48ea7d3a98315f85ac3 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Printer) = bc9c6cfc7cd09026d50d2adc5db9d62e needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Proofview) = ad2a14e14448d7230b251b6c540eec01 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Reductionops) = cca8b75dbfe1c9d59b7a1ee7997dcc96 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Refiner) = d3054b79ee4ba3ae3fb68d8893abad70 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Tacmach) = ce71e56c8b12f4f5737510ddd63d989f needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Tacred) = 0ca822fcd1c4dab71e06acb01a37eaf0 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Tacticals) = bcd705a7c441070540e6eff04231f9d6 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Tactics) = 023ab2aac8dea555775a642b309f9fbe needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(UnivGen) = 0f27a884dcbe56efa360e092190cbfb1 needed by gappalib-coq-1.4.4-2.fc33.x86_64
  - nothing provides ocamlx(Vernacstate) = 4c92380fe93541ff22fac415879942a8 needed by gappalib-coq-1.4.4-2.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!