ARCO Debian package repository

To use this package repository, get repo key:
$ sudo apt-key adv --fetch-keys https://uclm-arco.github.io/debian/uclm-arco.asc
(apt-2.1.8 deprecates apt-key command).
Or:
$ 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
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