mysql/sources

55b008d92abd01cd553021346a0da853  mysql-5.5.32-nodocs.tar.gz
5e9973ed0c74c3888620290c82514812  mysql-man-gpl.tar.gz
Uploaded correctly stripped sources 2013-06-14 11:14:57 +00:00			`55b008d92abd01cd553021346a0da853 mysql-5.5.32-nodocs.tar.gz`
Use man pages from 5.5.30, because their license do not allow us to ship them since 5.5.31 2013-06-14 08:49:15 +00:00			`5e9973ed0c74c3888620290c82514812 mysql-man-gpl.tar.gz`