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://public_repo:82//DANOS:/1908/standard ./' >> /etc/apt/sources.list.d/danos.list echo 'deb http://public_repo:82//DANOS:/1908/bootstrap ./' >> /etc/apt/sources.list.d/danos.list
You will also need to add the keys for these repositories using the following commands:
wget http://public_repo:82/DANOS:/1908/standard/Release.key | sudo apt-key add - wget http://public_repo:82/DANOS:/1908/bootstrap/Release.key | sudo apt-key add -