/dev-db/mysql-workbench/files/
../
mysql-workbench-5.2.17-as-needed-modules.patch
mysql-workbench-5.2.17-python-libs.patch
mysql-workbench-5.2.31-python-libs.patch