/extra/mysql-workbench/

• ../
• PKGBUILD
• mysql-workbench-community-6.3.10-32bit.patch