Dear, I think the bug [1] your reported does not apply anymore. Because the substitutes server has changed in the meantime. Feel free to re-open it if you experiment again such issue.
All the best, simon [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33184
