Am Fri, 23 Mar 2012 14:14:55 -0600 schrieb Jeff Cook <jeff@deserettechnology.com>:
mysql-gui-tools 5.0r14-5 has not been updated since Jun '11. It no longer builds. A fix for the build failure has been in the comments since December. The package has been marked out of date since Dec 1. Can we get this package orphaned and adopted by someone else please?
I guess mysql-gui-tools can be completely removed. As far as I know this has been renamed to MySQL Workbench by upstream. At least the URL http://www.mysql.com/products/tools/ redirects to https://www.mysql.com/products/workbench/. The up-to-date AUR package is here: https://aur.archlinux.org/packages.php?ID=54960 And here are the mysql-gui-tools: https://aur.archlinux.org/packages.php?ID=42212 Heiko