ARCO Debian package repository

To use this package repository, get repo key:

$ sudo wget -P /etc/apt/trusted.gpg.d https://uclm-arco.github.io/debian/uclm-arco.asc

Or:

$ gpg --keyserver keyserver.ubuntu.com --recv-key D917ABDD28380433 | sudo tee /etc/apt/trusted.gpg.d/uclm-arco.asc

$ sudo apt-key adv --fetch-keys https://uclm-arco.github.io/debian/uclm-arco.asc

(warning: apt-2.1.8 deprecates apt-key command).

And add the repository:

$ echo "deb https://uclm-arco.github.io/debian/ sid main" | sudo tee /etc/apt/sources.list.d/arco.list
$ sudo apt update