A wrapper for deb package mysql-workbench-community from original mysql repository repo.mysql.com. Official packages from mysql tend to take a long time to come out on newly released operating systems ...