Package: www.debian.org Severity: normal $ curl -s http://www.debian.org/mirror/list-non-US | grep -coF /non-us.debian.org/ 9 $ host non-us.debian.org Host non-us.debian.org not found: 3(NXDOMAIN) -- Jakub Wilk