@Nuno . At a command line what does this command output:
dpkg-query -W -f='${Package} ${Version}\n' 'mysql-workbench*'
@Nuno . At a command line what does this command output:
dpkg-query -W -f='${Package} ${Version}\n' 'mysql-workbench*'