For xUbuntu 23.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/rstoyanov/xUbuntu_23.04/ /' | sudo tee /etc/apt/sources.list.d/home:rstoyanov.list
curl -fsSL https://download.opensuse.org/repositories/home:rstoyanov/xUbuntu_23.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_rstoyanov.gpg > /dev/null
sudo apt update
sudo apt install p4lang-pi
For xUbuntu 22.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/rstoyanov/xUbuntu_22.04/ /' | sudo tee /etc/apt/sources.list.d/home:rstoyanov.list
curl -fsSL https://download.opensuse.org/repositories/home:rstoyanov/xUbuntu_22.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_rstoyanov.gpg > /dev/null
sudo apt update
sudo apt install p4lang-pi
For xUbuntu 21.10 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/rstoyanov/xUbuntu_21.10/ /' | sudo tee /etc/apt/sources.list.d/home:rstoyanov.list
curl -fsSL https://download.opensuse.org/repositories/home:rstoyanov/xUbuntu_21.10/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_rstoyanov.gpg > /dev/null
sudo apt update
sudo apt install p4lang-pi
For xUbuntu 21.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/rstoyanov/xUbuntu_21.04/ /' | sudo tee /etc/apt/sources.list.d/home:rstoyanov.list
curl -fsSL https://download.opensuse.org/repositories/home:rstoyanov/xUbuntu_21.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_rstoyanov.gpg > /dev/null
sudo apt update
sudo apt install p4lang-pi
For xUbuntu 20.04 run the following:
Keep in mind that the owner of the key may distribute updates, packages and repositories that your system will trust (more information).
echo 'deb http://download.opensuse.org/repositories/home:/rstoyanov/xUbuntu_20.04/ /' | sudo tee /etc/apt/sources.list.d/home:rstoyanov.list
curl -fsSL https://download.opensuse.org/repositories/home:rstoyanov/xUbuntu_20.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_rstoyanov.gpg > /dev/null
sudo apt update
sudo apt install p4lang-pi