User-agent: *
Disallow: /OpenBSD/
Disallow: /debian-cd/
Disallow: /debian-jigdo/
Disallow: /debian-minicd/
Disallow: /debian-non-US/
Disallow: /debian-old/
Disallow: /debian-woody-multiboot/
Disallow: /debian/
Disallow: /ftp/
Disallow: /helix/
Disallow: /gcrypt/
Disallow: /gentoo/
Disallow: /gentoo-portage/
Disallow: /munitions/
Disallow: /openssl/
Disallow: /redhat/
Disallow: /ximian/