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

can't install gappalib-coq:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 67718d5109c60347c91fb60c90a10a46 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = adc6530ccb8be1921b150ce4611ad4a9 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = fa01859e1fd27eedd81cdaacfe2398da needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 08c04a6018adfba932825df2ccbda457 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = c117bfd84ecb999d24f79fd4030b0e30 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = ac0d7e0beb92d665c5ee1c74e8c1ced5 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = 73ea3ff091278eb776966a24b74b5438 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = c17037f67dbabca8c2e3debf83e4ced8 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 64e0704ea73283b95cafab02f6c215eb needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = fd5854cf7bd3ae9b038fc36f4b6299a2 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 2b56376f6ba5da488d8b28169bf1ccd6 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Nativecode) = ce6da831b7d0683dff407f3186b9cfb2 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Nativevalues) = bfeeac9b9236475acc0975b9e8c91d42 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Floats_SpecFloat) = d5fcb9e7aa18a0aed923f40bc479c49f needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_NArith_BinNat) = 7e0311557ff69a930c59d4735add75a1 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_R_sqrt) = 3ba6a8e823c2aaec2ed07c2157f0c054 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rfunctions) = c307adcbbfaf661003ae36f34b26feb1 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(CErrors) = 01676d4ff41d4504872bafe9664fe64c needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Constrintern) = 878b6f4fedd98eba4eb36abbf5a00811 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Context) = c914aec64360c88725fd40af683d4583 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Coqlib) = b65dd6b58ac3498d3780ccee2d2cddcb needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Dumpglob) = a0d74c70f64a97d911e44da829c9cd12 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(EConstr) = 3b58da873551a520aae24f7de4f97c0c needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Environ) = 33b78bee63243997f7d126b27e38f50f needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Evarutil) = c633345c917b929667a9569116cb786b needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Evd) = c6fc62e086bee9c411f39db949914ce1 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Logic) = 4d8e9744647ac6d9b6b023821603914f needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Ltac_plugin) = 22c17447011a4a9bb0bd98b21926292e needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Mltop) = 8a1fd086ae3330ed0a9832f2c501c1e0 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_Reals_Raxioms) = 576e990a4846bbc737647c10f7dbe7e3 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(NCoq_setoid_ring_Field_theory) = 96c5414304df57fc9b0a0a5958f3fd20 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Names) = d8718c34f75e4ed4ec2560bb50735848 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Pcoq) = 9ddb8978b95eb67e74f7d14aec60ba3b needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Printer) = 0d90338a1dd6b3fd79ff92e2538115bb needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Proofview) = d1d6bf88b535cb19d1f124355655b0e3 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Reductionops) = f85adb7a8ee673d8af9686c225dc609d needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Tacmach) = 71ee4035192227ab44b6243d8ce55ee4 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Tacred) = 26c50a128eb34c3c7c1c905a8e7ada10 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Tacticals) = 583e140eddaa1d259fa27cc0dcc7bd05 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Tactics) = a755ab57c86f2a86ab996f72a0c2c078 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(UnivGen) = 3e612335cf8e54edbb111afa8d70cef7 needed by gappalib-coq-1.4.6-8.fc35.x86_64
  - nothing provides ocamlx(Vernacstate) = 0d5b467b4d4d49ca17908c55fe514979 needed by gappalib-coq-1.4.6-8.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!