Warning: the software in this repository is either highly customized for
MCS at CMU or experimental.
It may contain severe security issues or intentional backdoors.
Use at your own risk!!!!!
Download the public key to /etc/apt/trusted.gpg.d/
APT source list (to go in /etc/apt/sources.list.d/debmcs.list):
deb [arch=amd64] https://deb.mcs.cmu.edu/debian/ stable main
Unsigned debs list