User-Agent: *
Disallow: /mailman
Disallow: /pipermail
Allow: /