A list of repos to build into debians