Thanks for everyone's input. I had been under the impression and was
passing that impression on to my students.
The take-away here seems to be that once you start mixing official and
unofficial repos anything can happen.
"Free as in Freedom"
Free Software Foundation
CentOS mailing list