If they provide reproducible builds there's also no need for a separate repository.