Andrei Popescu wrote: > 1. you did not run 'apt-get update' No, did that. I keep doing that, in the hope of hitting a different server in the security pool. And tcpdump tells me I do.