User-agent: *
Disallow: /_darcs/
Disallow: _darcs
Disallow: /fptools/
Disallow: /debian/