Hi, I'm wondering when http://packages.debian.org is gonna come up again. It's been a while since the compromise of the debian servers but packages.debian.org is still down. thanks, Pim