[Bug 744383] perl-satsolver is missing file provides in the repo pool