Files fetched: 1 STORED: ftp://ftp.mirrorservice.org/sites/ftp.mysql.com/Downloads/MySQLGUITools/mysql-workbench-gpl-5.2.47-src.tar.gz e7cfb1249dddf628a6586bc309679ef3 mysql-workbench-gpl-5.2.47-src.tar.gz Size: 21924533 bytes -- Virtually Yours: distfiles.