Files fetched: 1 STORED: ftp://ftp.mirrorservice.org/sites/ftp.mysql.com/Downloads/MySQLGUITools/mysql-workbench-gpl-5.2.25.tar.gz b4b6632f3f7e150fcbdd3ef06e1dda58 mysql-workbench-gpl-5.2.25.tar.gz Size: 21581850 bytes -- Virtually Yours: distfiles.