User-agent: *
Disallow: /debian
Disallow: /debian-security
Disallow: /debian-non-US
Disallow: /debian*
Disallow: /ubuntu*
Disallow: /pub/
Disallow: /mirrors/