Since there was a yum update conflict this morning, I tried smart instead. It completed the update. Is this because smart is smarter, or because it doesn't implement this 'virtual provides' feature (whatever that is)?