OK, I should have looked at the apt howto before I posted. I issued the 'apt-get clean' command, and everything went fine after that. Move along, please. Nothing to see here ...