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 https://s3-us-west-1.amazonaws.com/repos.danosproject.org/Release.key | sudo apt-key add -