Le site de téléchargement propose uniquement un RPM pour Fedora 9 i386, hors je suis en F-10 x86_64. Je me suis donc empressé de télécharger le .src.rpm, de corriger quelques bricoles dans le spec pour le tester rapidement, et vous le proposer.

Pour les amateurs de tests qui n'ont peur de rien :

yum --enablerepo=remi-test install mysql-workbench

J'attends vos impressions.

Je suis déjà déçu de ne pas disposer des options de rétro-ingénierie (reverse engineering)