PPA stable

Personal Package Archive (PPA) for stable MRS deb packages.

Adding the PPA

curl https://ctu-mrs.github.io/ppa-stable/add_ppa.sh | bash

Uninstalling packages from this PPA

sudo apt-get -y install aptitude
sudo apt remove $(aptitude search -F '%p' '~S ~i ?origin("ctu-mrs") ?label("stable")')

Removing the PPA

curl https://ctu-mrs.github.io/ppa-stable/remove_ppa.sh | bash