Re: #5860: outdated repodata for f20 updates for ppc