https://digitalixy.com/tech/maude/772548/how-to-install-a-deb-file-in-linux/