User-agent: *
Disallow: /pipermail/
Disallow: /mailman/

User-agent: Googlebot
Disallow: /pipermail/
Disallow: /mailman/