Actually, this whole problem has been fixed in Debian unstable about 1 year ago.
mysql-workbench (6.2.3+dfsg-7) unstable; urgency=low
* Demoted "virtual-mysql-client" to Recommends; added "mysql-client" as first alternative: "mysql-client | virtual-mysql-client".
-- Dmitry Smirnov <email address hidden> Sun, 02 Nov 2014 08:07:54 +1100
This problem is fixed in vivid and beyond. We should backport a fix to trusty.
Actually, this whole problem has been fixed in Debian unstable about 1 year ago.
mysql-workbench (6.2.3+dfsg-7) unstable; urgency=low
* Demoted "virtual- mysql-client" to Recommends; added "mysql-client" mysql-client" .
as first alternative: "mysql-client | virtual-
-- Dmitry Smirnov <email address hidden> Sun, 02 Nov 2014 08:07:54 +1100
This problem is fixed in vivid and beyond. We should backport a fix to trusty.