/dev-db/mysql-gui-tools/files/
../
mysql-gui-tools-5.0_p12-query-browser-sps.patch
mysql-gui-tools-5.0_p12-workbench-lua.patch
mysql-gui-tools-5.0_p8-i18n-fix.patch
mysql-gui-tools-5.0_p8-lua-modules.patch