--->
http://jkp.antisocial.be/musique/PD-list.zip

wget http://lists.puredata.info/pipermail/pd-list.mbox/pd-list.mbox

mbox to maildir with
perfect_maildir.pl
http://perfectmaildir.home-dn.net/

extract Mime with python
Here’s an example of how to unpack a MIME message like the one above, into a directory of files:
http://docs.python.org/library/email-examples.html

find . -name "*.*" -exec python script.py -d REPERTOIRE {} \;

5000 patches