Repository installation procedure
Add the source file for deb-royer.irit.fr
$ sudo mkdir -p /etc/apt/sources.list.d
$ echo "deb https://deb-royer.irit.fr/debian $(. /etc/os-release && echo "$VERSION_CODENAME")/" | sudo tee /etc/apt/sources.list.d/deb-royer.irit.fr.list
Install PGP archive keyring
$ sudo apt -o Acquire::AllowInsecureRepositories=true -o Acquire::AllowDowngradeToInsecureRepository=true update
$ sudo apt-get -o APT::Get::AllowUnauthenticated=true install deb-irit-archive-keyring
Complete the installation by updating repository packages list
$ sudo apt update
List available packages of the repository
$ grep "^Package" /var/lib/apt/lists/deb-royer.irit.fr_debian_$(. /etc/os-release && echo "$VERSION_CODENAME")_Packages | uniq