User-agent: *
Disallow: /pub/
Disallow: /images/
Disallow: /linux/
Disallow: /kernel/
Disallow: /debian/