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. dennisk -- "Free as in Freedom" Free Software Foundation