Dear Greg Madden: Thanks for your response. But the link 'http://www.debian.org/distrib/ packages' does not exist. I'll try to go down to this link another way. Kind regards, Angelo