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 (cppcheck) Fails To Install in Fedora 33: can't install cppcheck: - nothing provides libz3.so.0()(64bit) needed by cppcheck-2.1-3.fc33.x86_64 can't install cppcheck-gui: - nothing provides libz3.so.0()(64bit) needed by cppcheck-gui-2.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!
cppcheck has just been built against z3 4.8.8-5.fc33 [1] > nothing provides libz3.so.0 The lib is called libz3.so.4.8 now, since z3 is built using cmake [2] [1] https://koji.fedoraproject.org/koji/taskinfo?taskID=48648878 [2] https://src.fedoraproject.org/rpms/z3/c/069e9003bb87b0992df22f2dd049085468336cc7?branch=master