wget -qO - http://archive.main.int/archive/holter4/ppa/holter4ppa.gpg.key | apt-key add -
echo "deb http://archive.main.int/archive/holter4/ppa holter4-ppa main" > /etc/apt/sources.list.d/20holter4ppa.list
