The source can be found at https://github.com/danos

Build all the packages from the github repositories using a suitable method and publish them to a debian package repository.

Then follow the steps at Creating a DANOS ISO using binary packages