No matches were found for subject:"Bug#985440\: pinball\-dev\: depends on virtual libstdc\+\+\-dev with multiple providers"