On 31.03.2018 19:15, Boyuan Yang wrote: > I saw missing packages provided w/o involving buildd network and the > problem is solved. Closing this bug for now.
you are wrong. all builds have the build logs attached which means that these were uploaded together with the binary packages.