mysql-workbench: upstream spec
mysql-workbench: 5.2.47