people.debian.org [192.25.206.10] seems to be down: The prefix 192.25.200.0/21 is missing in BGP. Christian