DIST mysql-workbench-gpl-5.2.35-src.tar.gz 17874329 RMD160 6207d7350cf1ea7a426ece90dabb4b7caab072a2 SHA1 74c2dddba06e4b233f3b28acf8be45f0394310f2 SHA256 3681351af061637ce54dcc1b490325e9a4a0b42127e642e60220845fcfc2cbaa DIST mysql-workbench-gpl-5.2.39-src.tar.gz 18904504 RMD160 af9782af37150fca0353821e02bbe2d8dcfc5a50 SHA1 a01ff48a17b55cd0affb3cea5d0b631037286b7b SHA256 0e4e14f1b39dca2b65f924381d82b406dc25a530fbd25631b4cd05bddc4ab5bd DIST mysql-workbench-gpl-5.2.40-src.tar.gz 18902330 RMD160 02a7207b1df6f67c989c41b54d6b74d0c99318cb SHA1 d8ab6eadc2fdde5ee0028703ea5d67273c8b3384 SHA256 782be704afd7f2348bab98479c1ace807f83811f24aa268d5853486909c356ed