User-agent: *
Disallow: /pub/
Disallow: /debian/
Disallow: /debian-jp/
Disallow: /debian-non-US/