p4lang-p4c from home:p4edge:p4lang-testing project

Select Your Operating System

For Debian 11 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:/p4edge:/p4lang-testing/Debian_11/ /' | sudo tee /etc/apt/sources.list.d/home:p4edge:p4lang-testing.list
curl -fsSL https://download.opensuse.org/repositories/home:p4edge:p4lang-testing/Debian_11/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_p4edge_p4lang-testing.gpg > /dev/null
sudo apt update
sudo apt install p4lang-p4c

Packages for Debian 11: