Note that this had been reported in Downloads.jl, I tried to look into this last week, but I couldn’t come up with ideas that @jameson would like and then I gave up. But this problem has to be solved, regardless of whether we’re using official binaries or not.
1 Like