On 10/29/16, Eugen Wissner <belka at caraus.de> wrote: > I personally haven't had any problems with tug.org ever. It seems to be intermittent. I just tried it again and it downloaded just fine.