/dev-db/mysql-workbench/files/

• ../
• mysql-workbench-5.2.31-python-libs.patch
• mysql-workbench-5.2.34-gcc46.patch
• mysql-workbench-5.2.39-glib-2.32.patch