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