DANOS Debian Package Repositories
A Debian package repository which provides both BINARY and SOURCE packages for standard
and bootstrap
is provided here:
You can add these repositories to your Debian based environment using the following commands:
echo 'deb http://s3-us-west-1.amazonaws.com/repos.danosproject.org/bootstrap/ 1908 main' >> /etc/apt/sources.list.d/danos.list
echo 'deb http://s3-us-west-1.amazonaws.com/repos.danosproject.org/standard/ 1908 main' >> /etc/apt/sources.list.d/danos.list
You will also need to add the keys for these repositories using the following commands:
wget -O- https://s3-us-west-1.amazonaws.com/repos.danosproject.org/Release.key | sudo apt-key add -