You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 :)
The text was updated successfully, but these errors were encountered:
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 thelibgmp10
dependency package names mismatch. Having an official release for the arguably largest desktop Linux distribution would be nice :)The text was updated successfully, but these errors were encountered: