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

can't install ocaml-why3:
  - nothing provides ocamlx(Dynlink) = 9cd4146f57b30032ce3d97b13ffa5c96 needed by ocaml-why3-1.3.1-11.fc33.x86_64
  
can't install ocaml-why3-devel:
  - nothing provides ocamlx(Dynlink) = 9cd4146f57b30032ce3d97b13ffa5c96 needed by ocaml-why3-devel-1.3.1-11.fc33.x86_64
  
can't install why3:
  - nothing provides ocamlx(NCoq_Init_Datatypes) = 06c9cd651889d613ab55bfe06fe862dc needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Logic) = 08a53e07add8e83621c353b0c24e91ce needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Specif) = 83eeca0b7bccc9d2d6397e6f1d47eb33 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Lists_List) = 07c0969285eafbe0507dbc6b1fcb6014 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Numbers_BinNums) = 03db9b9c71ab0bb4c29e33c7f9822af2 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_PArith_BinPos) = 60c9b532626d5eb47cf66829e9cdf614 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rbasic_fun) = b58644461592004e6d109b4554ff080d needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rdefinitions) = e7b780ee0a9e7b8880b31dd301e95379 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_BinInt) = 55722aa02df2dcaf67cff1ff4e5f2872 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zbool) = 7870a22940fc595465e033a92d4c7034 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zpower) = 85255a2f4877b0d41e7c3b7639060fad needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(Nativecode) = 3813d9e664c5b61d25e9be9e7fafc553 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(Nativelib) = feb22b8963c0bee20b31d656351c01dc needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(Nativevalues) = 323c7544a2cb5b32fa6ccf39aead7fd0 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bool) = d261d55acdec66a7261620fbce1fbae8 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Nat) = 28a019434efa9b444930309f4704f21e needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Reals_Rpower) = 6fcad6101465d2c2310dead380251557 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_ZArith_dec) = 22bff4bfbc4a1c4f23d6a6fe804882ad needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Zorder) = f455c2f0c417506f45d6078b4dfc30f1 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Arith_PeanoNat) = b33cdcbb528f9ee14532479de92223aa needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Bool_Bvector) = 60699a68b7968396cfb7a1bae622c9c6 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Classes_Morphisms) = 3dcc9c5f2546f4c1d15a8322c15b3db3 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Classes_Morphisms_Prop) = c2432ec8fa23c7535ef53ebfa33cff34 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Classes_RelationClasses) = dddbf73c13e4c3c2301842cb9661c7bb needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Init_Peano) = 380a54292c4f669206972506624f8718 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Logic_ClassicalEpsilon) = c98e1c5237f681dc5ba8ee8b6a074ddf needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Logic_Decidable) = 5eb5d6652a9058edf90fd0da34c87a4e needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_Vectors_Vector) = eefde6b03c307b930464d41a48cb60bb needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_Znat) = 24ac80270290addbce8f83a716f51db7 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_ZArith_auxiliary) = 207b2e5de20107d69af9bfe696df17a5 needed by why3-1.3.1-11.fc33.x86_64
  - nothing provides ocamlx(NCoq_omega_OmegaLemmas) = 929c54fa5ec82c00759ad8e4c71b215d needed by why3-1.3.1-11.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!