It was a problem with my Debian mirror. (As far as I understand, the list of non-free packages was missing but no error was returned to apt-get update.) Sorry for inconvenience.
Thank you, Rob. VVV -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]