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?