As a package is provided for Debian, it would be nice to release a similar package for Ubuntu. At the moment simply downloading the .deb and trying to install it on Ubuntu will not work, as the libgmp10 dependency package names mismatch. Having an official release for the arguably largest desktop Linux distribution would be nice :)