| Parent directory/ | - | - |
| doinst.sh | 432 | 2016-Sep-29 13:29 |
| mysql-workbench.info | 588 | 2016-Sep-29 13:29 |
| slackware_linux_profile.xml | 611 | 2016-Sep-29 13:29 |
| mysql-workbench-gnome-keyring.patch | 681 | 2016-Sep-29 13:29 |
| README | 759 | 2016-Sep-29 13:29 |
| config_and_ifconfig_paths.patch | 863 | 2016-Sep-29 13:29 |
| slack-desc | 997 | 2016-Sep-29 13:29 |
| mysql-workbench-no-set-gtid-purged.patch | 1718 | 2016-Sep-29 13:29 |
| mysql-workbench-no-json.patch | 2703 | 2016-Sep-29 13:30 |
| mysql-workbench.SlackBuild | 4802 | 2016-Sep-29 13:30 |
| antlr-3.5.2-complete.jar | 2456317 | 2016-Sep-29 13:31 |
| mysql-workbench-community-6.3.7-src.tar.gz | 15088020 | 2016-Sep-29 13:31 |