sudo bash -c 'echo "deb http://download.opensuse.org/repositories/home:/hpcoder1/xUbuntu_16.04 ./" > /etc/apt/sources.list.d/minsky.list' curl https://download.opensuse.org/repositories/home:/hpcoder1/xUbuntu_16.04/Release.key | sudo apt-key add - sudo apt update sudo apt install minsky