/dev-db/mysql-gui-tools/files/

• ../
• digest-mysql-gui-tools-5.0_p12
• mysql-gui-tools-5.0_p8-i18n-fix.patch
• mysql-gui-tools-5.0_p8-lua-modules.patch