Hate to necro something that was already answered, but is there any way for someone to get (or build themselves) the previous stretch repo? I have a device that is unfortunately stuck on stretch for the at least the next several months and the missing repo is causing a few problems. Happy to provide the resources myself, but not sure where to look to get the old repo files...